Even better 2487 type-check error
Partial fix for monomorphRedex test