Generalising monads to arrows

Generalising monads to arrows | Litlas