Simplify compiler with variadic app(...)