λ(a : Type) → < Subcommands : List a | Files >