===========
Limitations
===========

Temporary design decisions
==========================

- ``Gen`` monad :ref:`is <sect-gen-totality>` significantly finite

To be fixed/reworked
====================