fin-int (hackage): 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.
Keywords: apache|data|library