Re: Haskell and algebra

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