Cleanup tc/funapp and make it use infer like tc/apply