4 ms·> What you are saying are covered by tests, not types. You know Haskell programmers write tests, right?by yakshaving_jgt 8mo ago> What you are saying are covered by tests, not types. You know Haskell programmers write tests, right?