Inference of under-constrained type-variables creates erroneous recursive wildcard types Reviewed-by: jjg
Maurizio Cimadamore