On 17/02/2016, David Menendez <dave at zednenem.com> wrote: > One law I didn’t notice you mention is: > > mapMaybe f . mapMaybe g = mapMaybe (f <=< g) Good call, added! If someone proves some law to be reducible to the others i'll delete it.