Re: [Haskell] implicit parameters and the paper "prepose.pdf"