fix package:probability

In fix $ go a -> do ...; go xy any action after a go is ignored.
This version could be generalized to both Random and Distribution monad while remaining efficient.