TcHsSyn

mkHsConApp

mkHsDictLet

mkHsApp

hsLitType

hsLPatType

hsPatType

mkHsAppTy

mkSimpleHsAlt

nlHsIntLit

shortCutLit

hsOverLitName

conLikeResTy

type TcId

type TcIdSet

zonkTopDecls

zonkTopExpr

zonkTopLExpr

zonkTopBndrs

zonkTyBndrsX

zonkTyBinders

emptyZonkEnv

mkEmptyZonkEnv

zonkTcTypeToType

zonkTcTypeToTypes

zonkTyVarOcc

zonkCoToCo

zonkTcKindToKind

zonkEvBinds

Validity checking

checkForRepresentationPolymorphism