BuildTyCl
buildDataCon
mkDataConUnivTyVarBinders
buildPatSyn
type TcMethInfo
buildClass
mkNewTyConRhs
mkDataTyConRhs
newImplicitBinder
newTyConRepName