ral-optics (hackage): Nat, Fin, Vec
Keywords: data|dependent-types|gpl|library|optics|singletons