initial, terminal and distributive instances for Nat :: (i -> j -> *) ->
(i -> j -> *) -> *