无法从fx = f 1 y推导出f = f 1？
{-# LANGUAGE GADTs #-}
data Foo x y where
Composition :: Foo b c -> Foo a b -> Foo a c
FMap :: Functor f => (a->b) -> Foo (f a) (f b)
asFunction :: Foo a b -> a->b
asFunction (FMap m) = fmap m
-- asFunction (Composition (FMap m) (FMap n)) = fmap m . fmap n
asFunction (Composition m n) = asFunction m . asFunction n
这按预期工作......直到你取消注释asFunction的第二个子句！ 这实际上只是其他两种模式已经匹配的特殊情况的内联版本，所以我期望它可以。 但是（ ghc-7.6.2 ，或者ghc-7.4.1 ）
Could not deduce (f ~ f1)
from the context (b1 ~ f a1, b ~ f b2, Functor f)
bound by a pattern with constructor
FMap :: forall (f :: * -> *) a b.
Functor f =>
(a -> b) -> Foo (f a) (f b),
in an equation for `asFunction'
...
为什么会发生这种情况，为什么不在其他条款中呢？ 在更复杂的应用程序中应该做些什么来防止这种麻烦？
这可能与为了支持更灵活（“不饱和”）类型的功能而暂时从GHC的类型推断系统中删除的特征的左/右分解特征相关，然后当它被发现具有这样的恼人效果时被重新引入。
链接地址: http://www.djcxy.com/p/20023.html