[z3t4]

All bugs are type errors they say, but how did they pass the type checker ? ;)