What happens with ord2? If I don't have branches for smaller / larger, the compiler infers it'll need Ordering[(Any, Any)]