Before revision: In this paper, I show that a nonseparable model where the endogenous variable is multivalued can be point-identified even when the instrument (IV) is only binary.
After revision: Models with a discrete endogenous variable are typically underidentified when the instrument (IV) is only binary.