No, because you control the base primitive functions by passing in fns. In more formal terms, you can control the context. If we really cared, it would be triv

No, because you control the base primitive functions by passing in fns. In more formal terms, you can control the context. If we really cared, it would be trivial to extend this to a typed variant or change the evaluation semantics. Here's an example in another language [1]. [1] https://www.youtube.com/watch?v=YxhBxHl76vc https://www.youtube.com/watch?v=YxhBxHl76vc