This is a small repo of the code I used for my talk: You are closer to FP than you think.
It shows how representing effects with an embellishment of the return type guides you to Monad and that no step in that design process is as difficult as it may seem to newcomers.