Added Kleisli Compose combinator

Also, added more tests re the monad laws for Maybe implemented in terms
of Compose.