On: PyCon US 2021 Recordings are Available

[tome]

Haskell doesn't have "several type checkers". It has several compilers, and if you use a particular compiler then you use its type checker and not the type checker of another compiler.

(There is also Liquid Haskell, but it doesn't check Haskell types, it checks Liquid Haskell types.)

[neolog → tome]

Could you explain the significance of the distinction you're making?

[tome → neolog]

You first!