Nat (i -> j -> *) -> (i -> j -> *) -> * is copowered over Nat (i -> *) -> (i -> *) -> *