BuildTyCl
buildDataCon
buildPatSyn
type TcMethInfo
buildClass
distinctAbstractTyConRhs
totallyAbstractTyConRhs
mkNewTyConRhs
mkDataTyConRhs
newImplicitBinder
newTyConRepName