Collections that actually type-check at runtime, not only in IDEs. - View it on GitHub