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