funcdeps/test.icl

   1 module test
   2
   3 import StdEnv
   4
   5 class fmap t :: (a -> b) (t a) -> t b
   6
   7 instance fmap ((,)a) where fmap f (a, b) = (a, f b)
   8
   9 Start = fmap inc (42, 37)