module AddOne2
  ( addOne2
  ) where

import AddOne

addOne2 = addOne