On Fri, Jun 27, 2003 at 03:57:19PM -0700, Ashley Yakeley wrote: > > aninstance :: TypQ -> Q [Dec]; > aninstance t = [d| > > instance HasZero $t where -- error here > { > zero = 0; > }; > > |]; You can only splice in expressions and declarations at the moment. Ian