> 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