BuildTyCl

buildDataCon

buildPatSyn

type TcMethInfo

buildClass

distinctAbstractTyConRhs

totallyAbstractTyConRhs

mkNewTyConRhs

mkDataTyConRhs

newImplicitBinder

newTyConRepName