ex 12.3: eitherMonad
ApplicativeApp, ApplicativeWS