Precartesian/Precocartesian Nat :: i -> j -> *