syntax demo for reddit

(deftype (List a)
	Nil
	(Cons a [List a])
)

(define (list-insert xs x)
	(match xs
		{Nil [Cons x Nil]}
		{[Cons y ys] [Cons y (list-insert ys x)]}
	)
)