在不明确的类型下选择默认实例

Question

类型类方法是否有 Haskell 语言扩展来“使用唯一可用的潜在实例”？

我要编译如下

{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE FlexibleInstances     #-}

class Foo a r where
 foo :: a -> r 


instance Foo a (Bool -> a) where
  foo x _ = x 

-- This compiles 
-- bar :: Int -> Bool

-- This does not  
bar :: a -> Bool  
bar _ = True 


use :: Bool 
use = bar $ foo _5 True
  where
    _5 :: Int 
    _5 = 5 

现在我收到以下错误：

     No instance for (Foo Int (Bool -> r0))
  (maybe you haven't applied enough arguments to a function?)
  arising from a use of ‘foo’
The type variable ‘r0’ is ambiguous
Note: there is a potential instance available:
  instance Foo a (Bool -> a) -- Defined at tests/pos/Fixme.hs:9:10

但是由于只有一个潜在的实例可用，有没有办法强制 ghc 使用该实例？或者当类型不明确时，有没有办法将某个实例声明为默认实例？

Answer 1

标准技巧是让您的实例更具多态性，因此：

instance (a ~ b, bool ~ Bool) => Foo a (bool -> b) where
    foo x _ = x

这使您无法编写其他函数实例，但可以明确在需要函数实例时使用哪些类型。您需要打开 TypeFamilies 扩展来执行此操作。在您的特定情况下，您也许可以只使用instance a ~ b => Foo a (Bool -> b)，这将允许更多具有其他参数类型的函数实例，但会出现更频繁的歧义错误。

有关此技巧的更多说明，请参阅a previous answer of mine。