add probabilitymonad