Data.Random.Lift

class Lift m n