dhall-1.22.0: dhall-lang/tests/normalization/success/prelude/Bool/and/1A.dhall

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