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

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

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

Разве? У меня всегда, внутри функции, where с начала строки. :)