| '(#' comma_types1 '#)' { LL $ HsTupleTy Unboxed $2 }
| '[' ctype ']' { LL $ HsListTy $2 }
| '<{' ctype '}>' '@' tyvar { LL $ HsModalBoxType (unLoc $5) $2 }
| '(#' comma_types1 '#)' { LL $ HsTupleTy Unboxed $2 }
| '[' ctype ']' { LL $ HsListTy $2 }
| '<{' ctype '}>' '@' tyvar { LL $ HsModalBoxType (unLoc $5) $2 }