(../../../../../../Prelude/package.dhall).`Bool`.and [ True, False, True ]