mkTupleTy :: Boxity -> [Type] -> Type
-- Special case for *boxed* 1-tuples, which are represented by the type itself
mkTupleTy Boxed  [ty] = ty
mkTupleTy :: Boxity -> [Type] -> Type
mkTupleTy Boxed  [ty] = ty
mkTupleTy Boxed  [ty] = ty