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