История изменений

Исправление ~~dave~~, 02.10.17 20:52 (текущая версия) :

Про аналог ArrowLoop я, вообще, молчу:

instance MonadFix m => ArrowLoop (Kleisli m) where
    loop (Kleisli f) = Kleisli (liftM fst . mfix . f')
      where f' x y = f (x, snd y)

Обратить особое внимание на mfix

Исходная версия ~~dave~~, 02.10.17 20:51:

Про аналог ArrowLoop я, вообще, молчу:

instance MonadFix m => ArrowLoop (Kleisli m) where
    loop (Kleisli f) = Kleisli (liftM fst . mfix . f')
      where f' x y = f (x, snd y)

Обратить особое внимание на mfix