Check Coverage condition #17
Description
class F t u | t ~> u
inst F Int u -- This should fail
The fix is by using the routine free variable checks (as in the paper)
{{ message }}
class F t u | t ~> u
inst F Int u -- This should fail
The fix is by using the routine free variable checks (as in the paper)