Is IxPointed the right thing to split out?

[treeowl]

By analogy, perhaps we want IxApply instead.

[typedrat]

I agree! The only issue is that if I am making breaking changes, I would want to completely readjust the library to follow the semigroupoids class structure and probably drastically raise the minimum GHC version by turning IFunctor into the quantified constraint it should be.