[]
{}
⟅⟆
:type []
:type {}
:type ⟅⟆
:type [3]
:type {3}
:type ⟅3⟆
:type list
:type bag
:type set
-- :type {1,2,3} union {4,5} : Set Z3