λ(A : Type) → ./Config.dhall  → A