Self-pooling combinator diagram in tikz (seems, ~ 1/2 done).