expected

This expression has multiple possible types.  Some examples:
map : Set(ℚ × a) → Map(ℚ, a)
map : Set(Bool × a) → Map(Bool, a)
map : Set(Char × a) → Map(Char, a)
map({(1, 3), (4, 6)}) : Map(ℚ, ℕ)
map({(1, 3), (4, 6)})
This expression has multiple possible types.  Some examples:
insert : ℕ × a × Map(ℕ, a) → Map(ℕ, a)
insert : ℤ × a × Map(ℤ, a) → Map(ℤ, a)
insert : 𝔽 × a × Map(𝔽, a) → Map(𝔽, a)
insert : ℚ × a × Map(ℚ, a) → Map(ℚ, a)
insert : Bool × a × Map(Bool, a) → Map(Bool, a)
insert : Char × a × Map(Char, a) → Map(Char, a)
This expression has multiple possible types.  Some examples:
map({}) : Map(ℚ, a)
map({}) : Map(Bool, a)
map({}) : Map(Char, a)
map({})
insert(1, 3, insert(4, 6, map({}))) : Map(ℕ, ℕ)
map({(1, 3), (4, 6)})
map({(1, 3)})
This expression has multiple possible types.  Some examples:
lookup : ℕ × Map(ℕ, a) → Unit + a
lookup : ℤ × Map(ℤ, a) → Unit + a
lookup : 𝔽 × Map(𝔽, a) → Unit + a
lookup : ℚ × Map(ℚ, a) → Unit + a
lookup : Bool × Map(Bool, a) → Unit + a
lookup : Char × Map(Char, a) → Unit + a
right(3)
right(6)
left(■)
map({(1, "hello"), (3, "there"), (4, "you")})
map({(1, 3)})
insert(1, {"hi", "there"}, insert(2, {}, insert(4, {"why", "not", "now"}, insert(2, {"blah"}, map({}))))) : Map(ℕ, Set(List(Char)))
map({(1, {"hi", "there"}), (2, {}), (4, {"not", "now", "why"})})
map({(1, "A")})
map({(1, "B")})
map({("hi", 1), ("there", 2)})
{}
{("hi", 1), ("there", 2)}