📄️ MaybeThe Maybe type📄️ StateMaintaining state explicitly📄️ ListEncoding multiple results and nondeterminism📄️ MonadsMonad class📄️ IO vs. other monadsThe IO monad is special📄️ Monadic operationsThe advantages of an abstract interface