Base.CurryTypes
toQualType
toQualTypes
toType
toTypes
fromQualType
fromType
ppType
ppTypeScheme