@hackage Fin0.2.5.0

Finite totally-ordered sets