Constrain some free type variables to Selectable