Exception equality (through show instance, error-prone but works when no modules)