Generics

canDoGenerics

mkTyConGenericBinds

mkGenericRhs

validGenericInstanceType

validGenericMethodType