In GHCi, I import Control.Arrow, and Kliesli doesn't appear:
Prelude Control.Arrow :t Kliesli
interactive:1:0: Not in scope: data constructor `Kliesli'
Prelude Control.Arrow :browse
(^) :: (Arrow a) = a c d - (b - c) - a b d
(^) :: (Arrow a) = a b c - (c - d) - a b d
class
It's spelled 'Kleisli'. You spelled it 'Kliesli'
2009/2/9 Louis Wasserman wasserman.lo...@gmail.com
In GHCi, I import Control.Arrow, and Kliesli doesn't appear:
Prelude Control.Arrow :t Kliesli
interactive:1:0: Not in scope: data constructor `Kliesli'
Prelude Control.Arrow :browse
(^) ::