if we can gain some insight into the details of the List monad. Let's
choose type constructor that we can peer into, using some of the
technology we built up so laboriously during the first half of the
-course. We're going to use type 3 lists, partly because I know
-they'll give the result I want, but also because they're the coolest.
+course. We're going to use type 3 lists, partly because we know
+they'll give the result we want, but also because they're the coolest.
These were the lists that made lists look like Church numerals with
extra bits embdded in them: