[valenterry]

That last step is still pure, because it's still just return a value. A data-structure. You did Haskell, so you should know how it works.