let
ident_named_var name k t =
VarT
(name,
Some
k,t,
None
)