[Ur] last type decl wins?

[Vag Vagoff]

> You are shadowing a definition, but the old definition doesn't "go away," it just becomes impossible to reference.

Do you agree that this is completely unreadable

     fn a = a + 1

     xxx ... = ... many uses of fn ...

          ... and ever more uses of fn...

     fn a = a * 2

     yyy ... = ... many uses of fn ...

          ... and ever more uses of fn...

while this is perfectly ok

     xxx ... = let fn a = a + 1 in ... uses of fn ...

     yyy ... = let fn a = a + 1 in ... uses of fn ...

and this is ever better

     xxx = .... uses of fn
         where
         ... more uses of fn
         fn a = a + 1
         ... ever more uses of fn

     yyy = .... uses of fn
         where
         ... more uses of fn
         fn a = a + 1
         ... ever more uses of fn

?

Vag.