But where is the reasoning that led us to this unit and bind?
And what is the type `['a]`? Magic.
-So let's take a *completely useless digressing* and see if we can
+So let's make a completely useless digression and see 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. I'm