When we're going to do first digit bump on this package it may be worth it to finally bite the bullet and rename a bunch of things to make them more accessible:

Bind -> Semimonad
Apply -> Semiapplicative

etc.

This opens up access to standard literature on the topic.