// A small context defining the notion of an ordered otype. (The standard // library should probably contain a context for this purpose.) trait ordered(otype T) { int ?