That's not a fair comparison, though. A fair comparison might be Haskell's type system compared to Idris, or a small dependent typed language against a small type inference language.
I'd already made the assertion that Idris was less complicated than Haskell.