Как определить экземпляр для приложения определенного типа в Haskell 98?

Question

я заметил, что набор тестов для Data.Set только действительно определяет Arbitrary Set a благоразумно для a ~ Int, но, чтобы избежать GHC специальный ~ он использует

instance Enum a => Arbitrary (Set a) 

Как я могу убедиться, что только экземпляр Arbitrary (Set Int) используется без необходимости каких-либо расширений GHC ? В GHC-только код, я хотел бы использовать либо FlexibleInstances или GADTs, а затем либо

instance Arbitrary (Set Int) 

или

instance a ~ Int => Arbitrary (Set a) 

Answer 1

Это возможно с помощью идеи, я думаю, я впервые столкнулся в работе Олега Киселева, и который лежит в основе 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 

Теперь я могу использовать

instance IsInt a => Arbitrary (Set a) 

и быть уверенным в том, что я действительно имеем дело с Int. Для удобства, я могу ограничить IsInt класс с любыми классами, мне нужно из которых Int является экземпляром:

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