Answer to Question m1-12
Incorrect.
Since emptylist is [ ], this says that merge([ ], B) = merge([ ], B). That is an infinite recursion.