Hi Iavor and Richard (CC ghc-users),<br><br>If I recall correctly, Richard designed his singletons package in such a way that it would interact nicely<br>with Iavor&#39;s type-level literals. Now I find myself in a situation where I need to use both type-level literals<br>

and singletons (basically because I&#39;m reflecting at the value level both naturals, strings, and more<br>complicated datatypes). But I see that the declarations of entities such as Sing, SingI, etc., are <br>duplicated in the singletons package (seeing that they are already in GHC 7.6 within GHC.TypeLits).<br>

My question is: how can I use these two together?<br><br><br>Thanks,<br>Pedro<br><br>