Agda needs an older version of haskell-equivalence
idris: 0.9.14 -> 0.9.14.1