Tagged y-combinator