Kleislify

Precomposition and postcomposition of functors and monads. Variants of Control.Arrow functions, specialised to kleislis. Avoids boxing into Kleisli values.