Remi Turk wrote: > import Control.Monad.Reader > > k :: a -> b -> a > k = return > > s :: (a -> r -> b) -> (a -> r) -> a -> b > s = flip (>>=) . flip > > Greetings, > Remi > Oh, a little bit of cheating. ;) But neat. It can be done without importing anything. (Except the implicit Prelude import, of course.) -- Lennart