Compile-time tests for types. Useful to make sure types don't regress into ...