module Newtype where

newtype Foo where
  Bar :: Int -> Foo