;;; -*- Mode: Irken -*-

(define (+ a b)
  (%%cexp (int int -> int) "%s+%s" a b))

(define fun
  (:thing x)  -> (+ x 1)
  (:pair x y) -> (+ x y)
  )

(fun (:thing 19))
(fun (:pair 12 3))