• Setup
• Record / product-types
• Discriminated union / sum-types
• Free monads
• Reader monad
• RWS monad
• Transformation of immutable types
• [With]
• Transformation of nested immutable types with Lenses
• [WithLens]