Haskell is an amazing type checker that’s occasionally used for writing software. ;-)