<div dir="ltr">GOTCHA,<div>thanks, i was being a bit myopic in looking around, :) </div></div><div class="gmail_extra"><br><div class="gmail_quote">On Wed, Mar 30, 2016 at 3:46 PM, Ben Gamari <span dir="ltr"><<a href="mailto:ben@well-typed.com" target="_blank">ben@well-typed.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">Carter Schonwald <<a href="mailto:carter.schonwald@gmail.com">carter.schonwald@gmail.com</a>> writes:<br>
<br>
> Hey All, i just noticed that theres some Singletons code in the<br>
> GHC.Generics module thats defined but not exported, whats the context on<br>
> that?<br>
><br>
</span>It's used strictly internally in instances defined in GHC.Generics. For<br>
instance,<br>
<br>
    instance (KnownSymbol n, SingI f, SingI r)<br>
        => Constructor ('MetaCons n f r) where<br>
      conName     _ = symbolVal (Proxy :: Proxy n)<br>
      conFixity   _ = fromSing  (sing  :: Sing f)<br>
      conIsRecord _ = fromSing  (sing  :: Sing r)<br>
<br>
Cheers,<br>
<br>
- Ben<br>
</blockquote></div><br></div>