Monoid Pattern -- Monad Pattern -- Foldable -- Zipper -- Lens Pattern -- View Pattern --