Re-enable tests well-typed/generics-sop#2