Tue Aug 1 08:53:05 EDT 2006 simonpj@microsoft.com
-- should make this case better
= mkAppCoercion (mkSymCoercion co1) (mkSymCoercion co2)
| Just (co1, co2) <- splitTransCoercion_maybe co
-- should make this case better
= mkAppCoercion (mkSymCoercion co1) (mkSymCoercion co2)
| Just (co1, co2) <- splitTransCoercion_maybe co
- = mkTransCoercion (mkSymCoercion co1) (mkSymCoercion co2)
+ = mkTransCoercion (mkSymCoercion co2) (mkSymCoercion co1)
| Just (co, ty) <- splitInstCoercion_maybe co
= mkInstCoercion (mkSymCoercion co) ty
| Just co <- splitLeftCoercion_maybe co
| Just (co, ty) <- splitInstCoercion_maybe co
= mkInstCoercion (mkSymCoercion co) ty
| Just co <- splitLeftCoercion_maybe co