On Fri, Jul 29, 2011 at 9:11 PM, Andreas Abel <andreas.abel at ifi.lmu.de> wrote: > [...] > So, I think your foot is safe. ;-) > > Actually, this looks like a nice combination of experimental features... On this line of thought, could we have a universe polymorphic trustMe? -- Andrea