@hackage Fin0.2.5.1

Finite totally-ordered sets