The Kleisli composition (-)* . (-) is sometimes written as (@@):
(@@) :: (Monad m) => (b -> m c) -> (a -> m b) -> (a -> m c) (f @@ g) x = let m = f x in m >>= g
Man, I can't get anything right today. I meant:
(g @@ f) x = let m = f x in m >>= g
Apologies for the flooding.
Regards, Frank
_______________________________________________ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell
