Comment by micmus

The type checker from WhatsApp is open sourced and actively used. See https://github.com/WhatsApp/eqwalizer