@hackage Fin0.2.6.1

Finite totally-ordered sets