Agda standard library changed the type of _≈_.
(The first argument is now an equality).