-- Kind constructors...
liftedTypeKindTyCon, openTypeKindTyCon, unliftedTypeKindTyCon,
argTypeKindTyCon, ubxTupleKindTyCon,
- ecKind,
-- Super Kinds
tySuperKind, tySuperKindTyCon,
| isSubArgTypeKind k = liftedTypeKind
| otherwise = k
-ecKind = liftedTypeKind `mkArrowKind` (liftedTypeKind `mkArrowKind` liftedTypeKind)
\end{code}
\ No newline at end of file