Proposal: Warn about ArrowLoop instance for Kleisli Arrows
Felipe Almeida Lessa
felipe.lessa at gmail.com
Sun Oct 9 14:40:53 CEST 2011
On Sun, Oct 9, 2011 at 4:57 AM, Henning Thielemann
<lemming at henning-thielemann.de> 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