Copowers. Copowering (->), Nat :: (i -> *), Nat :: (i -> j -> *) over
(->)