1 --!!! export a derived thingy which mentions an internal type
3 {- from simonpj; who adds:
5 It is NOT ENOUGH to put
7 data OpaqueType deriving(Text)
12 module ExportOpaque( OpaqueType ) where
14 data OpaqueType a = Con (FunnyInternalType a) deriving(Text)
16 data FunnyInternalType a = Junk11 | Junk2
18 instance Ord a => Text (FunnyInternalType a)