Type class contexts are ignored for external functions
Due to the fact that type class context in signatures of external functions are completely ignored during type checking, one could write expressions like id =:= id
without type error.
Edited by Finn Teegen