1 2 3 4 5 6 7 8 9 10
λ(a : Type) → { name : Text , description : Text , options : List ../Option/type.dhall , arguments : ./Arguments.dhall a }