And just a note, this is called Reader monad in Haskell In other words, receiving an implicit parameter is a kind of effect. So another way to provide this fea

And just a note, this is called Reader monad in Haskell In other words, receiving an implicit parameter is a kind of effect. So another way to provide this feature is to have a full blown effect system (which is much more general and is probably overkill, but there's also some interest for that)