@hackage Fin0.2.6.0

Finite totally-ordered sets