现代haskell实现了一般派生的bifunctors

Question

我正在寻找一种自动为bifunctors派生fmapFirst和fmapSecond的方法。我更喜欢使用新的Generic类型类或使用Data.Data以及没有模板Haskell的方法。

（注意我已经知道https://hackage.haskell.org/package/genifunctors-0.2.2.0/docs/Data-Generics-Genifunctors.html使用Template Haskell支持这个，我想知道这里是否可以避免模板Haskell）