<div dir="ltr">I want to evaluate a function on a series of inputs:<div><br></div><div>f :: a -> Maybe b</div><div><br></div><div>then collect the results [b] if they are all Just, or terminate the computation immediately upon hitting Nothing. </div><div><br></div><div>This is exactly what mapM does in the Maybe monad, correct?</div><div><br></div><div>In particular I want to make sure that it will not try to evaluate anything past the first 'Nothing' result as the efficiency of my design is based on that.</div><div><br></div><div>D</div><div><br></div></div>