[lonelappde]

This is the same strategy I use for writing tests. This is natural, because types are compile-time tests.