longboi (hackage): Length-indexed linked lists, a simple exercise in dependent types.
Keywords: data|library|mit