Power for Nat :: (i -> *) is monoidal two ways