Fix congruence combinator for AxiomInstCo for GHC HEAD.