Lecture4 - Monads and IO Monad The typeclass Instances Laws >>= FAMily Functor Applicative Monad Purity IO getLine putStrLn Main and main >> do