Proposal: Warn about ArrowLoop instance for Kleisli Arrows

[Felipe Almeida Lessa]

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?

-- 
Felipe.