Wolfgang Jeltsch wrote:
> This does mean that you want to treat classes without methods special,
> doesn't
> it?
Not quite, I'm actually not sure if I want this, I just noted that it
was possible. :) As David Menendez pointed out, empty classes probably
aren't that useless.
Anyway, not treatin
On Fri, 14 Oct 2005, Simon Peyton-Jones wrote:
| In that context, how well-understood is the combination of
impredicative
| types via boxy types and a proper existential quantifier at the
moment?
| It's certainly something that has many uses in an industrial context.
Stephanie Weirich, Dimitri
