После нескольких месяцев унылых ковыряний до кое-кого дошло что `filter_map` просто "нинужен" в strymonas, т.к. `filter |> map` (самое лобовое решение) метакомпилируется просто всегда лучше. Т.е. как это часто бывает - вопрос изначально поставлен был неправильно и нужно было таки выйти из системы, чтобы увидеть очевидное решение к несуществующей проблеме. Небесполезный экспириенс, каждый раз..

Advanced Functional Programming http://www.cl.cam.ac.uk/teaching/1415/L28/materials.html лекции по системе типов камля с уклоном в матан, свежатинка, с гадтами и staging'ом