@hackage fin-int0.1.0.0

The type of finite sets with elements identified by the ordinals.

This provides a newtype Fin containing an Int with an invariant that its value is less than its type-level Nat bound. It aims to have low overhead compared to Ints, and is suitable for use as the index type of length-indexed vectors.