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.