Generics
canDoGenerics
mkTyConGenericBinds
mkGenericRhs
validGenericInstanceType
validGenericMethodType