4.14 Exercise 4.14

The reason that map can’t be installed as a primitive is that the primitive implementation requires the function being mapped with to be pure procedures as they would be represented in the underlying Scheme. Neither our primitive nor our compound procedures meet this criteria – the compount procedures use entirely our own representation, while primitive procedures are tagged.