Yes, when de-sugared there is an implicit Ordering -- that's why Michael can recover and bind it explicitly at line 98.