.ghci with -package ghc and -XTemplateHaskell for experimenting in GHCi
findET, findET' for terseness/clarity of convertApp def.
use findET in convertLam