Data.Probability

data ProbT t m a

type Prob t a

i'ProbT

probT

prob

c'prob

sample