Haskell - Неоднозначная переменная типа

Question

Я не мог найти ответ на свой вопрос среди нескольких неоднозначных переменных переменных ошибок.

В основном я хочу взять информацию о типе на уровень значения. Последняя строка в этом примере завершается с ошибкой.

{-# LANGUAGE MultiParamTypeClasses #-} 
{-# LANGUAGE FunctionalDependencies #-} 
{-# LANGUAGE FlexibleInstances #-} 
{-# LANGUAGE UndecidableInstances #-} 
{-# LANGUAGE TypeOperators #-} 

module Test where 

data Typ = TInteger | TString deriving Show 

data Empty = Empty 
data a ## b = Cons a b 

class Typical a b | a -> b where 
    typical :: a -> b 

instance Typical Empty [Typ] where 
    typical _ = [] 

instance Typical Integer Typ where 
    typical _ = TInteger 

instance Typical String Typ where 
    typical _ = TString 

instance (Typical a Typ, Typical b [Typ]) => Typical (a ## b) [Typ] where 
    typical _ = typical (undefined :: a) : typical (undefined :: b) 

Вот первое сообщение об ошибке:

Test.hs:27:17: 
Could not deduce (Typical a0 Typ) arising from a use of `typical' 
from the context (Typical a Typ, Typical b [Typ]) 
    bound by the instance declaration at Test.hs:26:10-67 
The type variable `a0' is ambiguous 
Possible fix: add a type signature that fixes these type variable(s) 
Note: there are several potential instances: 
    instance Typical String Typ -- Defined at Test.hs:23:10 
    instance Typical Integer Typ -- Defined at Test.hs:20:10 
Possible fix: add an instance declaration for (Typical a0 Typ) 
In the first argument of `(:)', namely `typical (undefined :: a)' 
In the expression: 
    typical (undefined :: a) : typical (undefined :: b) 
In an equation for `typical': 
    typical _ = typical (undefined :: a) : typical (undefined :: b) 

Я просто не понимаю.

Что такое a0? Может быть, a из моей последней строки не отождествляется с тем, что со второй последней строки?

Где я должен поставить подпись типа и почему?

Пожалуйста, просветите меня!

Answer 1

Хорошо, у меня есть решение, но я не знаю, является ли это самым чистым обходным решением.

Добавление {-# LANGUAGE ScopedTypeVariables #-} делает код скомпилированным. Это позволяет идентифицировать a0 с a из сообщения об ошибке (соответствующего a s из двух последних строк кода).

Прокомментируйте!