I disagree: there are often different ways to implement a design pattern, so IMHO a design pattern is an abstract idea in the same way monads are. The main dif

I disagree: there are often different ways to implement a design pattern, so IMHO a design pattern is an abstract idea in the same way monads are. The main difference is that design patterns have 'fuzzy' rules whereas monads are more precisely defined.