-
Simon Peyton Jones authored
* Remove trace from optCoercion * Use simplCoercion for type arguments in the Simplifier (because they might be coercions)
40b82d31
* Remove trace from optCoercion * Use simplCoercion for type arguments in the Simplifier (because they might be coercions)