Lol, never? Types won't check your whole business logic, it's irresponsible to nog write them (unless you're doing something really small).