<div dir="ltr"><div>Deadline of 2 weeks.<br><br></div><div>Original discussion: ⁽¹⁾<br><br></div><div>data Zero a<br></div><div>data One  a = One<br><br></div><div>Same definitions as in ‘trivia’ package,⁽²⁾ <br>if a consensus is reached we can update <br>the documentation for Free:⁽³⁾<br><br></div><div>“Free Zero” is isomorphic to Identity.<br></div><div>“Free One” is isomorphic to Maybe.<br><br>⁽¹⁾ <a href="https://ghc.haskell.org/trac/ghc/ticket/13177">https://ghc.haskell.org/trac/ghc/ticket/13177</a><br>⁽²⁾ <a href="https://hackage.haskell.org/package/trivia">https://hackage.haskell.org/package/trivia</a><br>⁽³⁾ <a href="https://hackage.haskell.org/package/free-4.12.4/docs/Control-Monad-Free.html">https://hackage.haskell.org/package/free-4.12.4/docs/Control-Monad-Free.html</a><br></div></div>