Base.CurryKinds

toKind

toKind'

fromKind

fromKind'

ppKind