Base.CurryKinds
toKind
toKind'
fromKind
fromKind'
ppKind