```Scala x = #[1, "sas", true] Int sas -> #[Int, Int] = #[this, this inc] #[x, y] = 1 sas // x == 1, y == 2 ```