> Forgot to mention that a particular case in which these functions are > extremely useful, is when using implicit parameters as John Huges describes > in http://www.md.chalmers.se/~rjmh/Combinators/MonadTransformers.hs opsss wrong link, correct one is: http://www.md.chalmers.se/~rjmh/Globals.ps J.A.