Можно ли выполнить локальное переписывание в духе перезаписи Idris ' .. in ? Возможность переписывать тексты только в функциях верхнего уровня вызывает огромное раздражение и буквально мешает мне справиться с некоторыми проблемами.