'choice' in Control.Applicative?