Case Study: Purely Functional Objects