Typy danych klas typu

Question

Po przeczytaniu artykułu Scrap your type classes ponownie zaimplementowałem niektóre z przedstawionych pomysłów. Robiąc to natknąłem się na coś naprawdę dziwnego: Klasa Typu - Typ może być używana jako ograniczenie typu! Moje pytanie: dlaczego tak jest?

mój kod:

{-# LANGUAGE Rank2Types #-} 

data IFunctor f = IFunctor { 
    _fmap :: forall a b. (a -> b) -> f a -> f b 
} 

-- this type checks... 
_fmap2 :: IFunctor f => (a -> b) -> f (f a) -> f (f b) 
_fmap2 = \inst -> _fmap inst . _fmap inst 

W GHCi dodaje coś się dzieje:

>>> :t _fmap2 :: IFunctor f => (a -> b) -> f (f a) -> f (f b) 
_fmap2 :: IFunctor f => (a -> b) -> f (f a) -> f (f b) 
     :: IFunctor f -> (a -> b) -> f (f a) -> f (f b) 

Answer 1

To nie działa na GHC 7.8.2. Daje błąd Expected a constraint, but ‘IFunctor f’ has kind ‘*’.

Starsze wersje GHC miały błąd, w którym zezwalały na używanie w pewnych sytuacjach =>, takich jak ->. Jest tak prawdopodobnie dlatego, że wewnętrzne ograniczenia klasy typów są przekazywane jako argumenty w postaci słowników metod.