Answer to Question m1-2
Incorrect.
What if
B
is [ ]? The empty list has no head or tail.