Jak zdefiniować instancję dla konkretnej aplikacji typu w Haskell 98?

Question

zauważyłem, że zestaw testowy dla Data.Set tylko naprawdę definiuje Arbitrary Set a sensownie dla a ~ Int, ale aby uniknąć GHC specjalny ~ używa

instance Enum a => Arbitrary (Set a) 

Jak mogę się upewnić, tylko instancja Arbitrary (Set Int) jest stosowany bez konieczności jakichkolwiek rozszerzeń GHC ? W GHC-tylko kodu, chciałbym użyć jednej FlexibleInstances lub GADTs a następnie albo

instance Arbitrary (Set Int) 

lub

instance a ~ Int => Arbitrary (Set a) 

Answer 1

Jest to możliwe za pomocą pomysł Chyba po raz pierwszy spotkali się w papierze Oleg Kiselyov, i który leży u podłoża Control.Lens.Equality.

import Data.Functor.Identity 

class IsInt a where 
    fromIntF :: f Int -> f a 

instance IsInt Int where 
    fromIntF fx = fx 

toIntF :: IsInt a => g a -> g Int 
toIntF = unf . fromIntF . F $ id 

newtype F g a b = F {unf :: g b -> a} 

fromInt :: IsInt a => Int -> a 
fromInt = runIdentity . fromIntF . Identity 

toInt :: IsInt a => a -> Int 
toInt = runIdentity . toIntF . Identity 

Teraz mogę używać

instance IsInt a => Arbitrary (Set a) 

i mieć pewność, że mam do czynienia z naprawdę Int. Dla wygody, można ograniczyć klasę IsInt wszelkich klas I potrzebują których Int jest instancją:

class (Show a, Read a, Integral a, Arbitrary a) => IsInt a where ...