9 Oct
2011
9 Oct
'11
8:40 p.m.
On Sun, Oct 9, 2011 at 4:57 AM, Henning Thielemann <lemming@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? -- Felipe.