Существуют ли «комбинаторы уровня типа»? Будут ли они существовать в будущем?

Многое из того, что делает haskell действительно хорошим для использования, на мой взгляд, это комбинаторы, такие как(.), flip, $ <*> и т. д. Такое ощущение, что я могу создать новый синтаксис, когда мне нужно. Некоторое время назад я делал ...