Consider types of unbound variables