add note about forallM permitting multiple effect sequencing in the Some case