Q: Does this have a problem with empty input?

No, you want the solution that uses mapM for that:

https://www.codewars.com/kata/reviews/54a85407046913eae40000e1/groups/56e423f4de7d1a97e7000c78

Ouch. Right. I forgot that.

Why is this best practice? Isn't it a bit verbose and slow?

And that's why you use CodeWars.

Poetry, wow. Thanks for this gem.

Will it stop the mapping, if we, for example, have a huge recipe and really small storage (like 2-3 items)?

Я не уверен что смогу решить Ваши каты. Я никогда не был силён в таких задачах - чисто математических, а сейчас уже нахожусь во второй половине рассказа "Цветы для Элджернона". :(
Это я для того что бы Вы не думали что я игнорирую из снобизма или типа того.
Успехов.

ps: название функции в тесте всё таки лучше исправить на height.

Поздравляю! Насчет смешно-не смешно это все субъективно, каждому свое сложно. Но это же не Хаскельная ката, я правильно понимаю? Насчет Folding through a fixed point - мне тоже пришлось пару дней покрутить мозгами, но могу подсказать кое что, если интересно.
ЗЫ а вообще - решайте мои пару бета-кат, они вообще не на хаскел скорее а на алгоритмы. Хотя вам за них баллы не начислятся, но с другой стороны, я подозреваю, что они так навсегда и останутся бетами, тем более если их никто не будет решать... Замкнутый круг, короче :)

Только что решил My smallest code interpreter (aka Brainf**k) - это просто смешно. Остальные каты 2-го уровня просто требуют много писанины и всё. А Folding through a fixed point я уже даже и не пытаюсь, такая теория категория мне не по мозгам. Ох, валенок я!
(строго: ) Утешать не надо!