我编写了一个玩具库，它使用依赖类型来表示货币，并在类型签名中表示货币： data Currency = CHF | EUR | PLN | USD deriving stock (Bounded,...