add MonoBifunctor type class

I was thinking about using this for Entity in persistent, but then I realized[ I don't see anything in bifunctors for extracting the first or second element](https://github.com/ekmett/bifunctors/issues/14), which is frequently what I want to do.