Update todo.hs