BuildTyCl

buildSynonymTyCon

buildFamilyTyCon

buildAlgTyCon

buildDataCon

buildPatSyn

type TcMethInfo

buildClass

distinctAbstractTyConRhs

totallyAbstractTyConRhs

mkNewTyConRhs

mkDataTyConRhs

newImplicitBinder