Added the first non-deterministic list monad for further investigation