On Mon, Sep 5, 2011 at 3:15 PM, Erik de Castro Lopo <mle+hs@mega-nerd.com> wrote:

Can't this be mostly solved by putting all these configuration parameters
in a struct and then using implicit parameters:

Implicit parameters seem like a fair option. And propagating:

(?fooConf :: FooConf) => ...

isn't any more difficult than explicit parameters in the type.

I guess the question is whether it is the parameterization or the staging that seems more relevant.