#10023: Relax Monad constraint in traceM and traceShowM to Applicative -------------------------------------+------------------------------------- Reporter: RyanGlScott | Owner: Type: feature request | RyanGlScott Priority: normal | Status: new Component: libraries/base | Milestone: 7.12.1 Resolution: | Version: 7.10.1-rc1 Operating System: Unknown/Multiple | Keywords: newcomer Type of failure: Other | Architecture: Blocked By: | Unknown/Multiple Related Tickets: | Test Case: | Blocking: | Differential Revisions: Phab:D1029 -------------------------------------+------------------------------------- Comment (by Ben Gamari <ben@…>): In [changeset:"39d83f239d33b1d214bdb7f7b3ce94d76d3e1467/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="39d83f239d33b1d214bdb7f7b3ce94d76d3e1467" Generalize traceM, traceShowM (fixes #10023) This generalizes the type signatures of `traceM` and `traceShowM` to use `Applicative` rather than `Monad`. Reviewers: austin, ekmett, hvr, bgamari Reviewed By: ekmett, hvr, bgamari Subscribers: thomie, bgamari Differential Revision: https://phabricator.haskell.org/D1029 GHC Trac Issues: #10023 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10023#comment:8> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler