Lima protocol has introduced recursive lambdas. We should have at least basic support for those in Indigo.