start :: fn { a := (1,2) a[0] <=> 1 a[1] <=> 2 b := (1,) b[0] <=> 1 empty := () c := (empty,) c[0] <=> () }