正在跳转至 https://pursuit.purescript.org/packages/purescript-prelude/5.0.1/docs/Data.Eq#v:eq