| LPAREN term COLON term RPAREN { T.Cast ($2,$4) }
| term TO term { T.Binder (`Forall,(T.Ident("_",None),Some $1),$3) }
| term IMPLY term { T.Binder (`Forall,(T.Ident("_",None),Some $1),$3) }
| LPAREN term COLON term RPAREN { T.Cast ($2,$4) }
| term TO term { T.Binder (`Forall,(T.Ident("_",None),Some $1),$3) }
| term IMPLY term { T.Binder (`Forall,(T.Ident("_",None),Some $1),$3) }