• Modules
• Schema
• Behaviours
• IO
• Free monad
• Actors
• Conclusion