Из-за неосторожных манипуляций со списками мюслекалькулятор считал полную массу дневного рациона при заданных энергозатратах на ~40% большей необходимой. Переписал всё на списках фиксированной длины на зависимых типах, пару раз обосравшись по дороге; теперь думаю обмазаться idris ._.