In part two, we move on into the Haskell realm where we can build up true domain logic.