Add Free monad tutorial code