@hackage Fin0.2.4.0

Finite totally-ordered sets