根据其他类型和类型类在 Haskell 中定义类型 [英]Defining types in Haskell in terms of other types and typeclasses struggling