Charlie Harvey

#743

It is along the right lines, but it takes a twist on intuition to get there along them.

If you don't mind a hint, it's worth noting that (^) is already in most type systems.