../../../../../Prelude/Bool/and [ True, False, True ]