Improve error messages
In particular, instead of Cannot match 'a' with 'b' we get Could not deduce (a~b) from context (F a ~ b) or whatever
Please register or sign in to comment
In particular, instead of Cannot match 'a' with 'b' we get Could not deduce (a~b) from context (F a ~ b) or whatever