dhall-1.11.0: tests/normalization/examples/Bool/and/1A.dhall

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