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