<div dir="ltr"><div class="gmail_default" style="font-family:garamond,serif;font-size:small;color:#333333">Marcus,</div><div class="gmail_default" style="font-family:garamond,serif;font-size:small;color:#333333"><br></div><div class="gmail_default" style="font-family:garamond,serif;font-size:small;color:#333333">Mostly, I bring up the issue of defining the quantifiers</div><div class="gmail_default" style="font-family:garamond,serif;font-size:small;color:#333333">via functors for the academic challenge of it, but also</div><div class="gmail_default" style="font-family:garamond,serif;font-size:small;color:#333333">thank you for looking up the singletons library.</div><div class="gmail_default" style="font-family:garamond,serif;font-size:small;color:#333333">Getting under the hood of that library will likely have some</div><div class="gmail_default" style="font-family:garamond,serif;font-size:small;color:#333333">beautiful code and likely a couple of balls-of-mud. Generally,</div><div class="gmail_default" style="font-family:garamond,serif;font-size:small;color:#333333">I am not sure the Hindley-Milner type system really even</div><div class="gmail_default" style="font-family:garamond,serif;font-size:small;color:#333333">supports such constructions, and so I would guess that a number</div><div class="gmail_default" style="font-family:garamond,serif;font-size:small;color:#333333">of pragmas in GHC need to be set to relax the type system.</div><div class="gmail_default" style="font-family:garamond,serif;font-size:small;color:#333333"><br></div><div class="gmail_default" style="font-family:garamond,serif;font-size:small;color:#333333">Jon</div></div>