A `bind`/`bindW` that takes no input can be an `apS`/`apSW`. There's also some ordering optimisation but sounds pretty tricky. [Examples](https://github.com/sciety/sciety/commit/06d6c51dd3d9ada14a89e6e5344f6425ab349b07)