Apply:  Id and List
Apply:  Optional
Apply:  reader
Apply:  lift2
Apply:  lift 3 and lift4
Apply:  Refactor lift 3 and lift4
Apply: Right apply
Apply: Left apply
Apply: Refactoring.