スーパークラスを推論できません

Question

次のコードでは、GHCはMonoidalインスタンスの定義でFunctorインスタンスを見つけることができません。

GHCががApplicative制約が満たされるを与えられたことを推測されていないのはなぜ、その後、Functorはすでにどこかにあることをを持っていますか？

import Prelude hiding (Applicative (..), Monad (..)) 

class Functor f => Applicative f where 
    pure :: a -> f a 
    (<*>) :: f (a -> b) -> f a -> f b 

class Functor f => Monoidal f where 
    unit::f() 
    (*) ::f a -> f b -> f (a,b) 

instance Applicative f => Monoidal f where 
    unit = pure() 
    a * b = undefined 

私はもちろんのエラーを持っていないためにMonoidalに明示的なFunctor f制約を追加することができます知っているが、私の質問は、インスタンスの解像度がそのように動作する理由の詳細である（この推論「機能」？に名前があります）

import Prelude hiding ((*), Applicative (..), Monad (..)) 

class Functor f => Applicative f where 
    pure :: a -> f a 
    (<*>) :: f (a -> b) -> f a -> f b 

class Functor f => Monoidal f where 
    unit::f() 
    (*) ::f a -> f b -> f (a,b) 

instance (Applicative f, Functor f) => Monoidal f where 
    unit = pure() 
    a * b = (pure (,) <*> a <*> b) 

instance (Monoidal f, Functor f) => Applicative f where 
    pure x = fmap (\_ -> x) unit 
    mu <*> mx = fmap (\(f, x) -> f x) ((mu * mx) :: f (a -> b, a)) 

Answer 1

私にバグのようです。ここに問題を示す最小限のファイルがありますが、Preludeのものやundefinedの名前を変更しても何の意味もありません。

{-# LANGUAGE FlexibleInstances #-} 
{-# LANGUAGE UndecidableInstances #-} 
class A x 
class A x => B x 
class A x => C x 
instance B x => C x 

このファイル（またはそのようなもの）を使用してGHCバグトラッカーにバグを提出することをお勧めします。 B xがA xを意味することを発見するために必要な推論が可能であるべきである。