Т.е. как я понял, строим дерево всех путей от мухи, выбираем из них те, что кончаются слоном, представляем их набор списком списков, сортируем по длине и берем самый короткий. Да, по сравнению с этим я чувствую, что занимался преждевременной оптимизацией - поиском в ширину. :)

Насчет декларативно: для меня это не антоним императивности, у меня это слово ассоциируется с наглядностью, самоописываемостью что-ли. В данном случае получилось чисто, функционально, но вот декларативно ли - не уверен. Но может быть у меня просто нет навыка читать хаскель.