BuildTyCl
buildSynTyCon
buildAlgTyCon
buildDataCon
buildPromotedDataTyCon
type TcMethInfo
buildClass
distinctAbstractTyConRhs
totallyAbstractTyConRhs
mkNewTyConRhs
mkDataTyConRhs
newImplicitBinder