-
Naïm Favier authored
Closes ghc/ghc#24288, implements CLC proposal https://github.com/haskell/core-libraries-committee/issues/238. Adds a MonadFix instance for tuples, permitting value recursion in the "native" writer monad and bringing consistency with the existing instance for transformers's WriterT (and, to a lesser extent, for Solo). See the CLC thread for proofs of the MonadFix laws.
Naïm Favier authoredCloses ghc/ghc#24288, implements CLC proposal https://github.com/haskell/core-libraries-committee/issues/238. Adds a MonadFix instance for tuples, permitting value recursion in the "native" writer monad and bringing consistency with the existing instance for transformers's WriterT (and, to a lesser extent, for Solo). See the CLC thread for proofs of the MonadFix laws.
Loading