tcfail156.hs:7:15: error: [GHC-07525]
    • A newtype constructor must not have existential type variables
      Foo :: forall a. a -> Foo
    • In the definition of data constructor ‘Foo’
      In the newtype declaration for ‘Foo’