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