Oh sure, you could write a program that runs over all the elements of a list and does something, but that's not interesting. How about something that iterates over any data structure? Or a function that runs backwards? Maybe we'll even make the "printf" function type-safe. Monads and typeclasses will be among the easier things we cover in this class. This class will be taught in Haskell, but the concepts covered are more general.