#list (((List.all Bool) #x x) list)