<div dir="ltr">Did you mean <font face="monospace, monospace">Type.Reflection</font>? <div><br></div><div>(<font face="monospace, monospace">reflection</font>'s <font face="monospace, monospace">Data.Reflection</font> offers a completely unrelated notion of <font face="monospace, monospace">Typeable</font> reflection, hence my confusion.)</div><div><br></div><div>-Edward</div></div><div class="gmail_extra"><br><div class="gmail_quote">On Sat, Feb 10, 2018 at 5:16 AM, Development <span dir="ltr"><<a href="mailto:dev@justus.science" target="_blank">dev@justus.science</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hey guys I have a (hopefully quick) question.<br>
<br>
With the new `Data.Typeable` and `Data.Reflection` in base 4.10 have we really lost the ability for users to compose `TypeRep`’s?<br>
<br>
I was using `Data.Typeable` before (mainly `mkTyConApp`). But in the new base 4.10 I cannot find any way to achieve the same goal.<br>
I have read the wiki page Typeable and Typeable/BenGamari and neither explicitly mentions the removal of `mkTyConApp` and similar facilities. In fact the latter mentions potential implementations for user constructed type applications twice with `mkTrApp` at the beginning of the page and `mkApp` at the end.<br>
Furthermore the documentation for `Typeable` (and `Reflection`) also never mentions the fact that this functionality was removed.<br>
<br>
My question is this: Is this intentional? Is there now a consensus that there should not be user constructed types? Or is there some subtile issue that I’m missing wich prevents user constructed types for now or always?<br>
<br>
Thanks in advance guys.<br>
<br>
Best regards.<br>
<br>
Justus<br>
______________________________<wbr>_________________<br>
ghc-devs mailing list<br>
<a href="mailto:ghc-devs@haskell.org">ghc-devs@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-<wbr>bin/mailman/listinfo/ghc-devs</a><br>
</blockquote></div><br></div>