;; -*- Mode: Irken -*-
(include "lib/core.scm")
(define v0 (:pair 3 #t))
(define v1 (:thingy 12))
(define (fun x)
(vcase x
((:pair n b) n)
((:thingy n) n)
))
(define fun1
(:pair n _) -> n
(:thingy n) -> n
)
(printn v0)
(printn (fun v0))
(printn (fun v1))
(printn (fun1 v0))
(printn (fun1 v1))