But that was for bonus points.

For the ranking, that should not have been optional really.

No, it's fixed in the final test.

I think the problem is still not fixed. You might want to import a definition of ≡ in the test code.

Thank you for suggestion.
Fixed

Fixed

Thanks for the info. Changed the description and tests.

Thanks for issuing
Seemed that i did too much on anti-cheat
Fixed

Thanks! Edited.

Yeah, I was a bit too daft to think of a suitable type class =/
So I just left that challenge alone.

Thank you! I have submitted a new solution where invalid programs do not typecheck.