Hello,<br><br>&nbsp;&nbsp;&nbsp;&nbsp; What are some examples of libraries in HackageDB that use either Quick Check (pure side) or Monad testing? Is there a way to use &quot;darcs&quot; to answer my question?<br><br>Thanks, vasili <br>