Data.Lambda.Random.Oracle

Plain lambda terms

domSing

roots

Closed h-shallow lambda terms

domSingH

rootsH