type x = s8 baz1: func(x: list) baz2: func() baz3: func(x: x)