+1 Generalise Prelude.mapM etc +1 Remove Prelude.mapM etc -1 Add more monomorphic variants to Prelude (e.g. whenJust) -1 Nothing -- Live well, ~wren