module Main where

class Foo a where
  f :: a -> a

instance fooStringString :: Foo String String where
  f a = a