module test
-import StdMisc
+import StdEnv
-:: Zero = Zero
-:: Succ a = Succ
+class fmap t :: (a -> b) (t a) -> t b
-:: Ar3 a b c :== (a -> b -> c)
+instance fmap ((,)a) where fmap f (a, b) = (a, f b)
-class C m :: (m b)
-
-instance C ((->) a) where C = \x->undef
-
-Start :: (a -> b -> c)
-Start = t
-
-t :: (Ar3 a b c)
-t = C
+Start = fmap inc (42, 37)