I guess some would claim erasing at runtime encour...

# announcements

[okkero]

I guess some would claim erasing at runtime encourages stronger safety at compile time.
Interestingly, Haskell, with its extremely strong type system, retains next to no type information at runtime.