Proposal: Warn about ArrowLoop instance for Kleisli Arrows

Felipe Almeida Lessa felipe.lessa at
Sun Oct 9 14:40:53 CEST 2011

On Sun, Oct 9, 2011 at 4:57 AM, Henning Thielemann
<lemming at> wrote:
> ... and since the lazy state monad does not fulfill the Functor laws, there
> is no monad at all, where the ArrowLoop instance is correct?

What about the arrow

  type A' = Kleisli (ArrowMonad A)

where A is a instance of ArrowApply and ArrowLoop?


More information about the Libraries mailing list