[Ur] last type decl wins?

[Adam Chlipala]

Vag Vagoff wrote:
>> 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...

No.  I often use that style, and I even prefer it to the alternatives 
that you suggest.  I like being able to read definitions in a simple 
linear order, so that it's always clear what each symbol refers to.