@slava I was actually thinking about a restricted form of this idea a while back. Stack-based, N stacks, you can switch between them, but the elements of the stacks are functions with the same domain and range and you use function composition to combine them.