Type error. Merge takes two parameters. The first parameter of cons is required to be an integer.
Nonsense. Test A < B compares pointers. Why would you care whether A is a smaller memory address than B?