無法為關聯數據族派生Typeable

Question

我正在嘗試為相關數據系列派生Typeable ，如下所示：

{-# LANGUAGE DeriveDataTypeable #-}
{-# LANGUAGE TypeFamilies #-}
module Test where

import Data.Typeable

class Test a where
  data DTest a :: *

instance Test () where
  data DTest () = Foo
    deriving Typeable

但我收到以下錯誤消息，它讓我有點困惑：

[1 of 1] Compiling Test             ( test.hs, test.o )

test.hs:12:14:
    Cannot eta-reduce to an instance of form
      instance (...) => Typeable DTest
    In the data instance declaration for ‘DTest’

有人可以詳細說明這里出了什么問題嗎？

Answer 1

好吧，這似乎與ghc 7.8.4有關。 我嘗試使用ghc 7.10.1編譯相同的代碼片段。