Scheme code completion based on the type of variables! I've not seen many editors implement this.