module test

import StdEnv

class fmap t :: (a -> b) (t a) -> t b

instance fmap ((,)a) where fmap f (a, b) = (a, f b)

Start = fmap inc (42, 37)