#ИМЯ?

Я общался с библиотекой syntactic (версия 2.0 на github), и у меня есть небольшой пример, который вызывает GHC (i) 7.6.2 жаловаться на IncoherentInstances.

{-# LANGUAGE FlexibleInstances, 
TypeFamilies,
TypeOperators,
OverlappingInstances, 
UndecidableInstances,
GADTs,
FlexibleContexts,
IncoherentInstances #-}

import Data.Syntactic
import Data.Syntactic.Functional

type family FunToAST (dom :: * -> *) f
type instance FunToAST dom (Full a) = ASTF dom a
type instance FunToAST dom (a :-> fi) = ASTF dom a -> FunToAST dom fi

data Let a where
    Let :: Let (a :-> (a -> b) :-> Full b)

share :: (Let :<: dom,
          ApplySym sig fi dom, 
          SyntacticN (Denotation sig) fi, 
          fi ~ FunToAST dom sig)
          => Denotation sig
share = sugarSym Let

Fine. Я не спрашиваю, зачем мне IncoherentInstances. Проблема в том, что когда я включаю это расширение, я получаю то же сообщение об ошибке:

Overlapping instances for SyntacticN
                            (Denotation sig)
                            (ASTF sup0 a0 -> ASTF sup0 (a0 -> b0) -> 
                            ASTF sup0 b0)
  arising from a use of `sugarSym'
Matching instances:
  instance [overlap ok] (Syntactic f, Domain f ~ sym,
                         fi ~ AST sym (Full (Internal f))) =>
                        SyntacticN f fi
    -- Defined in `Data.Syntactic.Sugar'
  instance [overlap ok] (Syntactic a, Domain a ~ sym,
                         ia ~ Internal a, SyntacticN f fi) =>
                        SyntacticN (a -> f) (AST sym (Full ia) -> fi)
    -- Defined in `Data.Syntactic.Sugar'
(The choice depends on the instantiation of `sig, sup0, a0, b0'
 To pick the first instance above, use -XIncoherentInstances
 when compiling the other instance declarations)
In the expression: sugarSym Let
In an equation for `share2': share2 = sugarSym Let

Я сомневаюсь, что эта проблема действительно связана с библиотекой, но я не знаю достаточно о IncoherentInstances, чтобы написать собственный пример.

ОТВЕТЫ