On 09/08/2015 at 22:53:01 -0400, Richard Eisenberg wrote: > This can be done today: > > > allMinus m ns = [ n' | n <- ns, Just n' <- [n -? m] ] Ah, obviously. Please excuse my earlier stupidity.