with builtins;

[
  (any (x: x == 1) [ ])
  (any (x: x == 1) [
    2
    3
    4
  ])
  (any (x: x == 1) [
    1
    2
    3
    4
  ])
  (any (x: x == 1) [
    4
    3
    2
    1
  ])
  (all (x: x == 1) [ ])
  (all (x: x == 1) [ 1 ])
  (all (x: x == 1) [
    1
    2
    3
  ])
  (all (x: x == 1) [
    1
    1
    1
  ])
]