问声明后派生的自动实例

EN

在Haskell中，在定义数据类型时，可以选择自动派生某些实例，但我是否可以推迟自动派生，甚至可以将其放到另一个库中？

下面是一个示例：

在Haskell中自动派生是一个实时保护程序！

module MoneyModule where

data Money = Money Int
  deriving Show

现在我希望使用MoneyModule，但我也希望为Money提供一个Read实例

module ExternalModule where

instance Read Money where
  read = error "Can't this be done automatically instead?"

但是我真的更希望它是自动派生的，我知道如果MoneyModule作者有自动派生的Read实例的话，ghc是可以做到的。

我知道：

• 最好通过使用缺失的实例修补实际MoneyModule中的问题。
• 有孤儿的例子被认为是不好的。实例声明最好放在定义了类型类或数据类型的模块中。

在我的例子中，我无法遵循最佳实践，因为type类与数据类型无关。我怀疑类型类模块或数据类型模块是否希望保存实例，因此我创建了第三个库，因为在某些应用程序中，您需要实例声明。