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