A unified view of monadic and applicative non-determinism. - Rivas, Exequiel; Jaskelioff, Mauro; Schrijvers, Tom (Science of Computer Programming, 2018)