The Pattern of Design Patterns

As usual, Bruce & James try to figure out monads & type classes. Then something new, as they go meta on design patterns.