Haskell：如何将接口与实现分开

Question

我知道有两种方法可以将接口规范与Haskell中该接口的实现分开：

1. 类型类，例如：

   • 界面：RandomGen
   • impl：StdGen

2. 记录，例如：

   • 界面：Network.Transport
   • impl：Network.Transport.TCP

问题1：何时使用其中一种？

问题2：在Haskell中分离interface / impl有哪些其他方法？