Good point. I guess that's one of the limitations that comes with a structural type system.