OpenTheory.Primitive.Random

data Random

bit

split

fromInt