</div><br><div>The paper mentions the need for a mutable finite map, and all the operations are IO. Do you know why this is and what&#39;s different with your pure implementation?</div><div><br></div><div>Regards,</div><div>