Haskell 98で特定のタイプのアプリケーションのインスタンスを定義するにはどうすればよいですか？

Question

私はData.Setのためのテストスイートはだけは本当にa ~ Intのための賢明Arbitrary Set aを定義しますが、特別なGHC ~を回避することが

私だけ Arbitrary (Set Int)インスタンスがどのGHC拡張を必要とせずに使用されていることを確認するにはどうすればよい

instance Enum a => Arbitrary (Set a) 

を使用していることに気づきました？ GHCのみのコードでは、私は、これは私が私が最初にオレグKiselyovによって紙に遭遇したと思うアイデアを使用して可能である

instance Arbitrary (Set Int) 

または

instance a ~ Int => Arbitrary (Set a) 

Answer 1

のいずれか、その後FlexibleInstancesかGADTsのいずれかを使用したいです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を扱ってることを確信することができます。便宜上、私はIntがインスタンスである私が必要とするすべてのクラスでIsIntクラスを制約することができます

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