Haskell 使用Data.Proxy时无法将类型的表达式应用于可见类型参数？

在我的一个模块中，我有let表达式：

let persist = mkCassEntityPersist (Proxy @SxRecord) cassCliSt

这会产生一个错误：

    • Cannot apply expression of type ‘t1’
      to a visible type argument ‘SxRecord’
    • In the first argument of ‘mkCassEntityPersist’, namely
        ‘(Proxy @SxRecord)’
      In the expression: mkCassEntityPersist (Proxy @SxRecord) cassCliSt
      In an equation for ‘persist’:
          persist = mkCassEntityPersist (Proxy @SxRecord) cassCliSt
   |
43 |   let persist = mkCassEntityPersist (Proxy @SxRecord) cassCliSt
   |                                      ^^^^^^^^^^^^^^^

然而，在另一个模块中，在第一个模块中使用了GHC语言扩展的子集，我完全可以这样做：

recTypeRep :: TypeRep
recTypeRep = typeRep $ Proxy @SxRecord

有没有办法解决这个问题？

---

目前，我也不太清楚错误消息的含义。

在这种情况下，

导入数据.Proxy已被遗忘