Integral: instantiate Orderable