../../../../../Prelude/Bool/or ([] : List Bool)