tcfail156.hs:7:15:
    A newtype constructor cannot have existential type variables
    Foo :: forall a. a -> Foo
    In the definition of data constructor ‘Foo’
    In the newtype declaration for ‘Foo’