instance Monoid Int where

  (<>) x y = x + y

instance Enum Int where

  fromEnum x = x

  toEnum =
    \x ->
      x