On Sat, Aug 6, 2011 at 3:28 PM, Adam Chlipala <[email protected]> wrote: > > You could certainly redefine the class on your own in a way which > allows defining new instances.
This won't allow using monad notation for new instances (e.g. list comprehensions). I would even bind other urweb syntax extensions to some classes which are possible to override. _______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
