@hackage / vec-optics

Vec: length-indexed (sized) list: optics support