Haskell ghc 7.10.2类型系列扩展不'；行不通

在GHC 7.10.2中尝试以下示例时，我在输入“where”时遇到

解析错误

：

{-# LANGUAGE TypeFamilies #-}

type family F a :: *
type instance where
  F (Maybe Int)  = Int
  F (Maybe Bool) = Bool
  F (Maybe a)    = String

今年，我使用了GHC7.6.*（不记得最后一位数字）的字体系列。GHC 7.10.2是否存在问题

根据，可以使用类型族

---

我的GHC 7.10.2和cabal 1.22.6.0是从哪里安装的。

您不能像这样混合使用开放式和封闭式系列语法，我不确定您是从哪里得到这个想法的。正确的语法是

type family F a :: * where
  F (Maybe Int)  = Int
  F (Maybe Bool) = Bool
  F (Maybe a)    = String

OP语法的可能重复已经实现了一段时间（在HEAD中，不是任何发布的版本），但导致它被收回并被替换为。