Types are nice, but in the end a type doesn't convey all the semantics. Types also add overhead. They can be also superfluous and unnecessary. Getting your ty

Types are nice, but in the end a type doesn't convey all the semantics. Types also add overhead. They can be also superfluous and unnecessary. Getting your types in a application right and to gain the optimum from them is quite some work. Over the years, i learned to appreciate more unittests over more types.