struct Point {
	x int
}

type Primitive = []int | []string | []Point | bool | int | string | Point

fn wrap_first[T](values []T) Primitive {
	if values.len > 0 {
		first := values[0]
		return Primitive(first)
	}
	return Primitive(false)
}

fn check(value Primitive) {
	match value {
		[]int {
			int_value := wrap_first(value)
			if int_value is int {
				println('int:${int_value}')
			} else {
				println('int:bad')
			}
		}
		[]string {
			string_value := wrap_first(value)
			if string_value is string {
				println('string:${string_value}')
			} else {
				println('string:bad')
			}
		}
		[]Point {
			point_value := wrap_first(value)
			if point_value is Point {
				println('point:${point_value.x}')
			} else {
				println('point:bad')
			}
		}
		else {}
	}
}

fn main() {
	ints := []int{len: 1, init: 7}
	check(Primitive(ints))

	strings := []string{len: 1, init: 'abc'}
	check(Primitive(strings))

	points := []Point{len: 1, init: Point{
		x: 3
	}}
	check(Primitive(points))
}