λ(arg : Type) → { cmd : Text, args : List arg }