<div dir="ltr">> <span style="font-size:14px"> something even simpler:</span>​<div><br></div><div>cheers Oliver. asum <i>is</i> better.</div><div><br></div><div>how is it possible to (<|>) results in:</div><div><br></div><div><br></div><div>type Am m  = (Alternative m, Monad m)</div><div><br></div><div>(Am m, Am n) => (a -> m (n b)) -> [a] -> m (n b)</div><div><br></div><div>?</div><div><br></div><div>say, m (n b) is </div><div>IO (Maybe b)</div></div>