the myth of type safety - eviltoast