Simon Peyton-Jones wrote:
> In GHC at present, a separate type signature introduces no scoping. For
> example:
>
> data Foo = Foo Int
>
> is equivalent to:
>
> data Foo = Foo Int
>
> data Foo = Foo Int
>
> data Foo = Foo Int
>
> data Foo = Foo Int
>
> data Foo = Foo Int
>
>