module Global where

import Prelude

foo :: Newtype
foo = Newtype foo

bar x = bar (x-1)