mixed is the supertype of all types. All values are mixed.| flow.org
Sometimes it's useful to create a type which is one of a set of other| flow.org
Some typecheckers understand dynamic type tests, thus avoiding downcasting.| Varun Ramesh's Blog
