instance Monoid Int where (<>) x y = x+y

instance Enum Int
  where
    fromEnum x = x
    toEnum
      = \x ->
        x

instance Foo Int where { foo x = x; bar y = y }