<div dir="ltr"><div>Hi everyone,</div><div><br></div>I don't think it's obvious why these type need to be in the base package itself. It makes sense that the GHC.Generics types are in base because GHC needs access to them to derive Generic. We already have Proxy in base. The trivia package was released in 2014 but no other package has needed that functionality enough to depend on it. What problem is being solved?<div><br></div><div>I think the types provided by packages like transformers are more important to general Haskell programming, and I'm quite happy to have those types in a separate package.<br><div><br></div><div>Best regards,</div><div>Eric Mertens<br><br><div class="gmail_quote"><div dir="ltr">On Tue, Jan 24, 2017 at 11:18 AM Baldur Blöndal <<a href="mailto:baldurpet@gmail.com">baldurpet@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr" class="gmail_msg"><div class="gmail_msg">Deadline of 2 weeks.<br class="gmail_msg"><br class="gmail_msg"></div><div class="gmail_msg">Original discussion: ⁽¹⁾<br class="gmail_msg"><br class="gmail_msg"></div><div class="gmail_msg">data Zero a<br class="gmail_msg"></div><div class="gmail_msg">data One  a = One<br class="gmail_msg"><br class="gmail_msg"></div><div class="gmail_msg">Same definitions as in ‘trivia’ package,⁽²⁾ <br class="gmail_msg">if a consensus is reached we can update <br class="gmail_msg">the documentation for Free:⁽³⁾<br class="gmail_msg"><br class="gmail_msg"></div><div class="gmail_msg">“Free Zero” is isomorphic to Identity.<br class="gmail_msg"></div><div class="gmail_msg">“Free One” is isomorphic to Maybe.<br class="gmail_msg"><br class="gmail_msg">⁽¹⁾ <a href="https://ghc.haskell.org/trac/ghc/ticket/13177" class="gmail_msg" target="_blank">https://ghc.haskell.org/trac/ghc/ticket/13177</a><br class="gmail_msg">⁽²⁾ <a href="https://hackage.haskell.org/package/trivia" class="gmail_msg" target="_blank">https://hackage.haskell.org/package/trivia</a><br class="gmail_msg">⁽³⁾ <a href="https://hackage.haskell.org/package/free-4.12.4/docs/Control-Monad-Free.html" class="gmail_msg" target="_blank">https://hackage.haskell.org/package/free-4.12.4/docs/Control-Monad-Free.html</a><br class="gmail_msg"></div></div>
_______________________________________________<br class="gmail_msg">
Libraries mailing list<br class="gmail_msg">
<a href="mailto:Libraries@haskell.org" class="gmail_msg" target="_blank">Libraries@haskell.org</a><br class="gmail_msg">
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries" rel="noreferrer" class="gmail_msg" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries</a><br class="gmail_msg">
</blockquote></div></div></div></div>