module Newtype where newtype Foo = Bar Int