[Haskell-cafe] Reinventing a solution to configuration problem

[oleg at okmij.org]

I guess you might like then
        http://okmij.org/ftp/Haskell/types.html#Prepose
which discusses implicit parameters and their drawbacks (see Sec 6.2).