fin (hackage): Nat, Fin, Vec
Keywords: bsd3|data|dependent-types|library|math|singletons