Dependency Injection code from Lambda Terms