Since type-raising an argument Y to X/(X\Y) and applying it to the functor X\Y is semantically equivalent to applying X\Y directly to Y, type-raising is never required when function application can be used instead.
in all cases, a type-raised argument must be composed with another constituent, usually the original functor (head).