Effects

Lesson 1: (>>=) is created automagically by the effects library (more precisely, a general version of it has been predefined using CPS), if you create a new effect you don't need to implement bind yourself (instead you need to implement "handlers"), this is in contrast to creating a new monad (in Haskell).