MODULE A;

IMPORT List;

PROCEDURE P(proc := List.EqualQ) =
  BEGIN
    EVAL proc(NIL, NIL);
  END P;

BEGIN 
END A.