- use module alias to reduce binary bloat - use `(wrapped true)` in dune - move all heavy components (relational combinators, IO, mlist) into separate modules - keep only the lightweight and common combinators in `Iter` (probably via an include)