Join for state monad.What does that mean ?
Starting chapter 12 Applicative Functors
Starting Chapter 12 Applicative