Superklasse kann nicht abgeleitet werden

Question

Im folgenden Code kann GHC die Funktor-Instanz in der Definition der Monoidal Instanz nicht finden.

Warum nicht GHC herzuleiten, dass gegeben die Applicative Einschränkung erfüllt ist, dann ist die Functorhat irgendwo schon zu sein? (Gibt es einen Namen zu dieser Argumentation ‚Fähigkeit‘?)

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 

Ich weiß natürlich könnte eine explizite Functor f Einschränkung Monoidal Fügen Sie nicht den Fehler haben, aber meine Frage ist, mehr darüber, warum funktioniert Instanz Auflösung auf diese Weise

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

Sieht aus wie ein Fehler für mich. Hier ist eine minimale Datei, die das Problem zeigt und nicht auf irgendwelche Spielereien mit Umbenennung Prelude Zeug oder undefined s.

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

Ich empfehle einen Fehler auf dem GHC-Bug-Tracker mit dieser Datei (oder einer sehr ähnlich); die Begründung, die benötigt wird, um zu entdecken, dass B x impliziert A x sollte möglich sein.