Helper
ch
head
#->
AppE
heads
CurriedE