copilot-core-0.2: An intermediate representation for Copilot.
Copilot.Core.Random
randomSpec :: Weights -> StdGen -> SpecSource