overambitious type checker?