Revert "agda/...: misc (to revert)"
Revert "agda/...: misc (to revert)"

This reverts commit ae3a9db6fb87ddc01573ae236f8850b322bec8db.

Old-commit-hash: fa2ae9742c4282275b8f242a197b35ef1acf5932

inc-lc/ilc-agda