Data.Random.Lift
class
Lift
m n