So it's the reader monad, then? ;-)