Expected distribution of lambda sizes (Re: Syntax poll, take 2)

[John Nilsson]

On Wed, Jun 15, 2011 at 7:39 PM, Maurizio Cimadamore
<maurizio.cimadamore at oracle.com> wrote:
> *) Pair#fst is compatible with a SAM type whose method is m(Pair)
> *) Pair<>#fst is compatible with a SAM type whose method is of the kind
Ah, there you go. Forgot about this "interesting" aspect of the type system.

Is it reasonable though? When would it, in practice, be important to
enforce this difference?

BR,
John