dhall-1.42.3: tests/diff/functionB.dhall

∀(a : Type) → ∀(b : Type) → ∀(x : b) → Bool