@hackage Fin0.2.7.0

Finite totally-ordered sets