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 chec

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.)