BuildTyCl

buildSynTyCon

buildAlgTyCon

buildDataCon

buildPromotedDataTyCon

type TcMethInfo

buildClass

distinctAbstractTyConRhs

totallyAbstractTyConRhs

mkNewTyConRhs

mkDataTyConRhs

newImplicitBinder