haskell functional-languages design-patterns monad functor category-theory typeclasses monoids monad-transformers strategy-pattern builder-pattern traversable factory-pattern function-composition pattern-language reader-monad gof-patterns functors iterator-pattern typeclassopedia