Hi folks,<br><br>I&#39;m having trouble reading the TemplateHaskell docs and trying to do something that seems like it should be simple. In MetaML, there is a &#39;lift&#39; function which does exactly what I want to do. Here&#39;s an example function:<br>
<br>let double n = [| 2 * $( litE (integerL n) ) |]<br><br>This works as intended, but instead of writing &quot;litE (integerL n)&quot; I just want to write &quot;lift n&quot;, or something similar. I expect that would involve a type class called something like Liftable that would lift literals using the appropriate functions. Does this exist?<br>
<br>Thanks,<br>Lyle<br>