simplify List monad