Không thể suy ra siêu lớp

Question

Trong mã sau, GHC không thể tìm thấy cá thể Functor trong định nghĩa của cá thể Monoidal.

Tại sao không GHC suy luận rằng cho các Applicative hạn chế được thỏa mãn, thì Functorcó được ở đâu đó chưa? (Là có một tên để lập luận này 'khả năng'?)

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 

Tôi biết có thể tất nhiên thêm một rõ ràng Functor f chế để Monoidal để không có lỗi, nhưng câu hỏi của tôi là thêm về lý do tại sao độ phân giải dụ hoạt động theo cách mà

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

Trông giống như một lỗi đối với tôi. Đây là tệp tối thiểu hiển thị sự cố và không dựa vào bất kỳ hành vi nào có đổi tên Prelude nội dung hoặc undefined s.

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

Tôi khuyên bạn nên gửi lỗi trên trình theo dõi lỗi GHC với tệp này (hoặc một tệp rất thích); lý do cần thiết để khám phá rằng B x ngụ ý A x sẽ là có thể.