@hackage Fin0.1.1.0

Finite totally-ordered sets