--- /dev/null
+--!!! export a derived thingy which mentions an internal type
+--
+{- from simonpj; who adds:
+
+ It is NOT ENOUGH to put
+
+ data OpaqueType deriving(Text)
+
+ in the interface
+-}
+
+module ExportOpaque( OpaqueType ) where
+
+data OpaqueType a = Con (FunnyInternalType a) deriving(Text)
+
+data FunnyInternalType a = Junk11 | Junk2
+
+instance Ord a => Text (FunnyInternalType a)