\begin{code}
data TypeClassifier
- = FskCls TcTyVar -- Flatten skolem
- | VarCls TcTyVar -- *Non-flatten-skolem* variable
- | FunCls TyCon [Type] -- Type function, exactly saturated
- | OtherCls TcType -- Neither of the above
+ = FskCls TcTyVar -- ^ Flatten skolem
+ | VarCls TcTyVar -- ^ Non-flatten-skolem variable
+ | FunCls TyCon [Type] -- ^ Type function, exactly saturated
+ | OtherCls TcType -- ^ Neither of the above
unClassify :: TypeClassifier -> TcType
unClassify (VarCls tv) = TyVarTy tv