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 _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
