-2. Do the same with crossy lists. That is, given an arbitrary type
-'a, let the boxed type be a list of objects of type 'a. The singleton
+2. Do the same with lists. That is, given an arbitrary type
+'a, let the boxed type be ['a], i.e., a list of objects of type 'a. The singleton