Loading poly-instantiate.disco...
Loaded.
foldr : (a → r → r) → r → List(a) → r
foldr(λx, y. x) : a → List(a) → a
foldr(λx, y. y) : r → List(a) → r
foldr(λx, y. x + 1) : ℕ → List(ℕ) → ℕ
foldr(λx, y. y + 1) : ℕ → List(a) → ℕ
foldr(λx, y. y + 1)(1) : List(a) → ℕ
foldr(λx, y. y + 1)(-1) : List(a) → ℤ
foldr(λx, y. x)(false) : List(Bool) → Bool
foldr(λx, y. x + 1)(1 / 2) : List(ℕ) → 𝔽
foldr(λx, y. x - 1)(1 / 2) : List(ℤ) → ℚ
