Could this #haskell be improved using template haskell quasi-quotes/splices/etc without changing the type? (function in next tweet)
2
Replying to @jmtd
I am entirely lost but in general I'd say that Haskell can be improved by anything which makes it MORE WORDY. Haskell gurus are so quick to have incredibly complex things with small names and arcane symbols and nearly no documentation. Makes it very hard to follow.

May 9, 2020 Β· 12:13 PM UTC

2
Replying to @dsilverstone
Thanks. That’s a good perspective and I often agree. Very common to see lots of single character names which convey little hint as to what they represent
1
That LamE/AppE/etc monstrosity is a Haskell expression encoded into data types representing the grammar. The expression it’s encoding is \p q x -> p x && q x
Replying to @dsilverstone @jmtd
What are you looking at? In general, when I want intuition for something, I'll watch a maths talk, away from the computer, or frab around and inject values into a function and see how it behaves. Docs are good for seeing examples, but not capturing essence.
1