Base.CurryTypes

toQualType

toQualTypes

toType

toTypes

fromQualType

fromType

ppType

ppTypeScheme