> that an entire class of unit tests are no longer necessary That's not what I wrote about. I've seen people implement entire DSLs in types. So now you have to

> that an entire class of unit tests are no longer necessary That's not what I wrote about. I've seen people implement entire DSLs in types. So now you have to test that.