I agree! Larry On 2 Dec 2010, at 14:44, Brian Huffman wrote: > Besides these two very specific cases, I think it would be best to > reject definitions with extra type variables on the right-hand side.