Ivan Drago and Definitely Typed