btype :: { RdrNameHsType }
btype : atype { $1 }
| btype atype { HsAppTy $1 $2 }
- | '__u' atype atype { HsUsageTy $2 $3 }
atype :: { RdrNameHsType }
atype : qtc_name { HsTyVar $1 }
tbtype :: { RdrNameHsType }
tbtype : tatype { $1 }
| tbtype atype { HsAppTy $1 $2 }
- | '__u' atype atype { HsUsageTy $2 $3 }
tatype :: { RdrNameHsType }
tatype : qtc_name { HsTyVar $1 }