Are you sure dynamic types have nothing to do with static types? "Static type" does not really mean "class of values." That is a common use of static types, bu

Are you sure dynamic types have nothing to do with static types? "Static type" does not really mean "class of values." That is a common use of static types, but they can also be used for things like tracking what resources are available/released or describing what exceptions a function might raise.