Dosłowne literał w Haskell

Question

Jak wiem, -> ma rodzaj *->*->*, a ((->) r) ma rodzaj *->*.

Zakładając, że istnieje typ (a->b->c), czy istnieje sposób na przedstawienie (a->b->)?

Próbowałem ((->) a ((->) b)), ale to błąd.

Próbowałem:

type Kab a b c = (a -> b -> c) -- it is ok 

Ale to jest nie używać Kab w deklaracji instancji:

instance KClass (Kab a b) where -- error 

Jedynym sposobem, znalazłem, że działa to zadeklarować data:

data Kab a b c = Kab (a -> b -> c) 
instance KClass (Kab a b) where .. 

Ale jeśli używam danych, muszę odwijać Kab, natomiast moim pomysłem jest wdrożenie KClass na natywnym typie funkcji.

Jak to zrobić?

Answer 1

Niestety nie można tego zrobić.

Można życzyć sobie "lambd typu type" (napiszmy je: /\); wtedy można by napisać forall a b. /\c. a -> b -> c, aby to zaznaczyć. Byłaby to bardzo przydatna funkcja i wiele badań dotyczyło systemów typów, które pozwalają na to, ale cena, którą płacisz, jest taka, że ​​wnioskowanie typu staje się nierozstrzygalne. Tak więc komitet Haskell postanowił go pominąć.