Реализация функции Haskell зависит от вида?

Question

Я читаю учебник по haskell, когда читаю тип типа системы, я не могу использовать модель замены, чтобы выяснить, как выполнить функцию.

class Tofu t where 
    tofu :: j a -> t a j 

data Frank a b = Frank {frankField :: b a} deriving (Show) 

instance Tofu Frank where 
    tofu = Frank 

Я могу понять, J имеет тип * -> *, т имеет тип * -> (* -> *) -> *, и Франк рода * -> (* -> *) -> * , матч т, так что можно экземпляр тофу Frank, но реализация тофу позвольте мне смущать, если я делаю как этот

tofu (Just 'a') :: Frank Char Maybe 

(Just 'а') рода *, просто * -> *, матч Ja, я использовать замену модели, Фрэнк (Just 'a'), не имеет смысла, Фрэнк должен получить * и ->, но если это так, должен быть Фрэнк '' Просто, смысл, но синтаксическая ошибка, я хочу знаете, как этот архив делает работу замещающей модели и проверку синтаксиса.

Answer 1

О, я понимаю,

Frank a b 

является конструктор типа, значение конструктор

Frank {frankField :: b a} 

так

tofu (Just 'a') = Frank {frankField = Just 'a'} 

вид тип соответствия и заменить модель работы.