We're doing structural type checking for a language that wasn't developed with that in mind.