powered categories. (->) and Nat (i -> *) are powered over (->)