Documentation

canDoGenerics :: [DataCon] -> Bool

mkTyConGenericBinds :: TyCon -> LHsBinds RdrName

mkGenericRhs :: Id -> TyVar -> TyCon -> LHsExpr RdrName

validGenericInstanceType :: Type -> Bool

validGenericMethodType :: Type -> Bool