Sure, but typedefs aren't as strong a guarantee. They're more a textual find/rep...

steveklabnik on April 21, 2014 | parent | context | favorite | on: Let the Type System do the Work

Sure, but typedefs aren't as strong a guarantee. They're more a textual find/replace than an actual feature of the type system.