为什么类型实例 (a->a) 和 (a->a->a) 在 GHC 7.8 中会发生冲突？

Question

hmatrix 包包含以下类型族代码：

type family BoundsOf x

type instance BoundsOf (a->a) = Int
type instance BoundsOf (a->a->a) = (Int,Int)

在 GHC 7.6 上，这编译得很好。

在 GHC 7.7（导致 7.8）上，我们得到：

lib/Numeric/ContainerBoot.hs:515:15:
    Conflicting family instance declarations:
      BoundsOf (a -> a) -- Defined at lib/Numeric/ContainerBoot.hs:515:15
      BoundsOf (a -> a -> a)
        -- Defined at lib/Numeric/ContainerBoot.hs:516:15

这里的“冲突”是什么意思？我看不出这些实例的问题。

---

更新：这是一个最小的例子Test.hs：

{-# LANGUAGE TypeFamilies #-}
module Test where

type family BoundsOf x

type instance BoundsOf (a->a) = Int
type instance BoundsOf (a->a->a) = (Int,Int)

尝试一下：

ghci Test.hs       # 7.6, all fine
ghci-7.7 Test.hs   # fails

Answer 1

Akio Takano 设法构建了一个示例程序，在 GHC 7.6 中使用类型族声明将 Int 强制转换为 IO String

type family F a
type instance F (a -> a) = Int
type instance F (a -> a -> a) = IO String

见http://ghc.haskell.org/trac/ghc/ticket/8162 或https://github.com/takano-akio/type-family-overlap。

Answer 2

在我看来，它更像是 GHC 7.6 TBH 中的一个错误。

如果你去掉函数类型的语法糖，你所拥有的是

type instance BoundsOf (((->) a) a) = Int
type instance BoundsOf (((->) a) (((->) a) a)) = (Int, Int)

看起来很矛盾……

现在，如果我尝试使用另一个类型构造函数而不是 ((->) a) 来实现相同的技巧，我也会收到来自 GHC 7.6 的错误：

{-# LANGUAGE TypeFamilies #-}
type family BoundsOf x

type instance BoundsOf (Maybe a) = Int
type instance BoundsOf (Maybe (Maybe a)) = (Int, Int)

结果：

tyfams.hs:4:15:
    Conflicting family instance declarations:
      type instance BoundsOf (Maybe a) -- Defined at tyfams.hs:4:15
      type instance BoundsOf (Maybe (Maybe a)) -- Defined at tyfams.hs:5:15

我不明白为什么它应该适用于 ((->) a)。