.</span> draw(pd<span class="symbol">,</span> k)) keys <span class="symbol">::</span> _<span class="symbol">=&gt;</span><span class="type-name">Nat</span>
</div><div class="result-block">[6, 7, 11, 13, 15, 8, 13, 11]</div></div><div class="cell"><div class="code-block">
</div></div><div class="cell"><div class="prose-block"><h2>Random functions</h2>
<p>Suppose that you want to define your own random function. Here we will define our own function for sampling exponentials.</p>
</div></div><div class="cell"><