Fluent Python: Clear, Concise, and Effective Programming

by Luciano Ramalho

In a gradual type system, there is another relationship: consistent-with, which applies wherever subtype-of applies, with special provisions for type Any.