Answer to question s4

Type error. Expression 'new List' yields a result of type List*. That cannot be stored into a variable of type List.

If you just want a variable K of type List, write

  List K;