When a programming language claims to be more type safe than haskell what does that even mean?

I've heard people complaining about haskell's type system having holes and that agda and ocaml/coq are better. What are the limitations of Haskell's type system? Are there differences between the scope of strongly typed functional languages?