Re: Recursive type synonyms

[wadler]

John notes that recursive type synonyms may lead to less comprehensible
error messages.  Good point!

As John says, experimentation would be a good idea.  Any takers?
Cheers,  -- P