declare
  MyList = [1 2 3 4]
in
  {ForAll MyList Show}

  %% or:
  for E in MyList do {Show E} end