e second apply(FunApp t) without recursion