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