@hackage Fin0.2.3.0

Finite totally-ordered sets