How is [my new] Type Predicate Generator different? (github.com/peter-leonov)
This document goes into a rather deep comparison of Generator to other runtime type checkers, giving also a rather broad overview of related topics.