BuildTyCl

buildDataCon

mkDataConUnivTyVarBinders

buildPatSyn

type TcMethInfo

buildClass

mkNewTyConRhs

mkDataTyConRhs

newImplicitBinder

newTyConRepName