rename exported functions; add a small example
More instances for FencepostF and useful combinators for dealing with it
Semigroup instance
Bifoldable1 instance
Instances for semigroupoids classes, with a Semigroup constraint instead of Monoid