Я узнал о лямбда-исчислении в Haskell, и я видел, как лямбда-термины могут быть написаны для Haskell функций, таких как add и su cc. Могут ли они быть написаны аналогично для функций более высокого порядка, таких как map?
Есть ли способ получить его из описания функции в hoogle?
например https://hackage.haskell.org/package/base-4.12.0.0/docs/Prelude.html#v: карта