启用了 mpsGeneric 的密钥的 Eq 实例似乎很奇怪

Question

{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE GeneralizedNewtypeDeriving #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE QuasiQuotes #-}
module Main
  where
import           Database.Persist.Sql
import           Database.Persist.TH
share
    [mkPersist
        sqlSettings
            { mpsGeneric = True
            , mpsPrefixFields = False
            , mpsEntityJSON = Just EntityJSON
                                { entityToJSON = 'keyValueEntityToJSON
                                , entityFromJSON = 'keyValueEntityFromJSON
                                }
            , mpsGenerateLenses = False
            }
    , mkMigrate "abc"]
    [persistLowerCase|
Test
    a String
|]
main :: IO ()
main = do
    print $ (toSqlKey 1 :: TestId) /= (toSqlKey 1 :: TestId)
    print $ (toSqlKey 1 :: TestId) == (toSqlKey 1 :: TestId)
    print $ (toSqlKey 1 :: TestId) /= (toSqlKey 2 :: TestId)
    print $ (toSqlKey 1 :: TestId) == (toSqlKey 2 :: TestId)

在这个 haskell 程序中，我启用了 mpsGeneric 开关，该程序的结果是：

True
True
False
False

如果禁用 mpsGeneric，结果为：

True
False
False
True

看来，上面的 Eq 实例坏了。我用

persistent of version 2.2.4.1
persistent-template of version 2.1.6

当我运行以下代码时，这个"功能"杀死了我整个下午：

filter (/= someKey) [key1, key2, key3]

Answer 1

这是一个

错误。现在在github上报道：https://github.com/yesodweb/persistent/issues/560