I'm not sure if it is handy outside of the arrow laws, but I used it to implement `(***)`. It doesn't have to be exported, but I imagine it may come in handy when you write purely AFRP code.