order instances on empty, unit, bool?

Stream: general

[Scott Morrison]

Does mathlib want decidable_linear_order instances on "boring" types like empty, unit, and bool? I have these lying around.

[Simon Hudon]

I think so