newtype of newtype

[Ross Paterson]

The following little module:

	module Bug where

	newtype Foo = Foo [Foo]
	newtype Bar = Bar Foo

	unBar :: Bar -> Foo
	unBar (Bar x) = x

fails core-lint in both 6.2 and the HEAD:

*** Core Lint Errors: in result of Desugar ***
Bug.hs:7:
    [RHS of x :: Bug.Foo]
    The type of this binder doesn't match the type of its RHS: x
    Binder's type: Bug.Foo
    Rhs type: Bug.Bar
*** Offending Program ***
Rec {
unBar :: Bug.Bar -> Bug.Foo
unBar = \ ds_dch :: Bug.Bar ->
          let {
            x :: Bug.Foo
            x = ds_dch
          } in  x
Bug.unBar :: Bug.Bar -> Bug.Foo
Bug.unBar = unBar
end Rec }

*** End of Offense ***