I think this is a typo (DList.cons should be DList.snoc).