[yakshaving_jgt]

> What you are saying are covered by tests, not types.

You know Haskell programmers write tests, right?