I think there is some "Turing-completeness" for this category as well, that is quite trivial to achieve, though the practical usability may be negligible.

One hacky equivalence I can come up with is that you have a tuple with a single string value, and encode something in that string.