Wie kann ich eine Instanz für eine bestimmte Anwendung in Haskell 98 definieren?

Question

bemerkte ich, dass die Testsuite für Data.Set wirklich Arbitrary Set a für a ~ Int vernünftig definiert nur, aber die GHC speziellen ~ es verwendet

instance Enum a => Arbitrary (Set a) 

Wie kann ich sicher ist machen zu vermeiden, nur die Arbitrary (Set Int) Instanz, ohne dass irgendwelche GHC Erweiterungen verwendet ? In GHC-only-Code, würde ich entweder FlexibleInstances oder GADTs und dann entweder

instance Arbitrary (Set Int) 

oder

instance a ~ Int => Arbitrary (Set a) 

Answer 1

Dies ist möglich, eine Idee mit Ich denke, ich zum ersten Mal in einem Papier von Oleg Kiselyov angetroffen, und was Control.Lens.Equality zugrunde liegt.

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 

Jetzt kann ich

instance IsInt a => Arbitrary (Set a) 

verwenden und sicher sein, dass ich wirklich mit Int zu tun habe. Der Einfachheit halber kann ich die IsInt Klasse mit allen Klassen beschränken, ich brauche von denen Int ist ein Beispiel:

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