[Haskell-cafe] Looking for pointfree version

Henning Thielemann lemming at henning-thielemann.de
Thu Feb 12 18:25:50 EST 2009


On Mon, 9 Feb 2009, Edsko de Vries wrote:

> Hi,
>
> Is there a nice way to write
>
> down :: Focus -> [Focus]
> down p = concat [downPar p, downNew p, downTrans p]

down = concat . sequence [downPar, downNew, downTrans]

given the Reader like Monad instance of ((->) a).


More information about the Haskell-Cafe mailing list