Add a first iteration for Bob
Apply some suggestions from hlint