Haskell实现单一类型代理泛型接口

Haskell通过支持typeclass特性来实现带约束的泛型接口定义，即基于typeclass的polymorphic function。如果程序中现在存在一个typeclass T，并且存在若干具体类型是T的实例，那么如何用一种类型（指代数数据类型）统一管理所有的T的实例？
在Haskell中需要使用存在性量词，即forall关键词来限定数据构造子的参数为满足typeclass T类型约束的具体type。例如：

{-# LANGUAGE ExistentialQuantification #-}

class T a where 
    func :: a -> Bool

data D1 = D1
data D2 = D2

instance T D1 where
    func _ = False
instance T D2 where
    func _ = True

data DataT = forall a. T a => DataT a

d = [DataT D1, DataT D2]

s = fmap (\(DataT x) -> func x) d

上面的例子显示，我们可以使用存在性量词，前置于数据构造子，然后就可以使用泛化的构造参数，共享同一个构造子，实现了对不同类型数据（共同typeclass）的管理。注意，这种情况下，类型DataT的实例仅能够接受模式匹配和符合forall关键词后类型约束的接口。

代码经GHC 7.10版本测试通过。