The question was, "how's that?". My answer was, it's possible for a small dependently typed language to be simpler than Haskell. I'd already made the assertion

The question was, "how's that?". My answer was, it's possible for a small dependently typed language to be simpler than Haskell. I'd already made the assertion that Idris was less complicated than Haskell.