Don’t forget our old friend “The compiler is unable to type-check this expression in reasonable time”