Anything that reduces complexity or ambiguity whil...

# announcements

[corneil]

Anything that reduces complexity or ambiguity while improving safety has to be the way to go.
So you have to decide in which direction you're moving. In my view this code adds types but reduces ambiguity so I feel it is better.