the _boilerplate_ code in
[Kleisli puzzle](https://forum.azimuthproject.org/discussion/comment/17174/#Comment_17174) finishes abrupty with
`import Control.Monad ((`, so I think there are some lines missing.
I've also needed to change`Applicative m` to `Monad m` because it is needed for `Keisli m` to be a 'Category'.
Would you mind revising it?