> Yes, but in that case the specific implementations are required to be > denotationally equal to the default versions. Yes, obviously. My only point was that I believe (>>) should remain a class operation. /Henrik -- Henrik Nilsson Yale University Department of Computer Science nilsson@cs.yale.edu