until -package:numeric-prelude -package:yesod-paginator -package:prelude-compat -package:numhask -package:extra -package:intro -package:xmonad-contrib -package:language-bash -package:streaming -package:simple-prompt -package:LambdaHack package:probability

untilLeft :: (Num prob, Ord a, Ord b) => (a -> T prob (Either b a)) -> T prob a -> T prob b
probability Numeric.Probability.Transition