disco-0.2: test/types-container/expected

[]
{}
⟅⟆
[] : List(a)
{} : Set(a)
⟅⟆ : Bag(a)
[3] : List(ℕ)
{3} : Set(ℕ)
⟅3⟆ : Bag(ℕ)
This expression has multiple possible types.  Some examples:
list : List(a) → List(a)
list : Bag(a) → List(a)
list : Set(a) → List(a)
This expression has multiple possible types.  Some examples:
bag : List(ℕ) → Bag(ℕ)
bag : Bag(ℕ) → Bag(ℕ)
bag : Set(ℕ) → Bag(ℕ)
bag : List(ℤ) → Bag(ℤ)
bag : Bag(ℤ) → Bag(ℤ)
bag : Set(ℤ) → Bag(ℤ)
bag : List(𝔽) → Bag(𝔽)
bag : Bag(𝔽) → Bag(𝔽)
...
This expression has multiple possible types.  Some examples:
set : List(ℕ) → Set(ℕ)
set : Bag(ℕ) → Set(ℕ)
set : Set(ℕ) → Set(ℕ)
set : List(ℤ) → Set(ℤ)
set : Bag(ℤ) → Set(ℤ)
set : Set(ℤ) → Set(ℤ)
set : List(𝔽) → Set(𝔽)
set : Bag(𝔽) → Set(𝔽)
...