@@ -0,0 +1,19 @@
3+import Control.Monad.Eff
6+newtype Thing = Thing String
8+instance showThing :: Show Thing where
9+ show (Thing x) = "Thing " ++ show x
13+instance showBox :: (Show a) => Show (Box a) where
14+ show (Box x) = "Box " ++ show x
17+ print $ Thing "hello"