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