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