Radio Free Meredith

• Maybe is the same thing as Kleene ? (the "zero or one" operator in regular expressions).
• A typeclass is the same thing as an STL concept, but a typeclass actually means it.
• instance means "We're going to make this data type an instance of this typeclass, and here's how."

Now if I can just get my head around monads, I'm set.