Free caveats and instanceof