| Prob |
| 1 (Type/Class) | Data.Probability |
| 2 (Type/Class) | Data.Probability.Rational |
| Probability | Data.Probability.Base, Data.Probability.Rational, Data.Probability |
| Product |
| 1 (Type/Class) | Control.Monad.MonoidValue |
| 2 (Data Constructor) | Control.Monad.MonoidValue |
| padd | Data.Probability.Base, Data.Probability.Rational, Data.Probability |
| pmul | Data.Probability.Base, Data.Probability.Rational, Data.Probability |
| pnot | Data.Probability.Base, Data.Probability.Rational, Data.Probability |
| prob | Data.Probability.Base, Data.Probability.Rational, Data.Probability |