@hackage / tagged-list

Lists tagged with a type-level natural number representing their length.