- {% do { (tc, tvs, _) <- checkSynHdr $4 False
- ; return (L (comb3 $1 $4 $6)
- (TyFunction tc tvs $3 (unLoc $6)))
+ {% do { (tc, tvs, _) <- checkSynHdr $3 False
+ ; let kind = case unLoc $4 of
+ Nothing -> liftedTypeKind
+ Just ki -> ki
+ ; return (L (comb3 $1 $3 $4)
+ (TyFunction tc tvs False kind))