;; -*- Mode: Irken -*-

;; testing recursive types.

(define (S x)
  T)

(define (T y)
  S)

;; good:
((((S 0) #\a) 0) #\b)
;; bad:
;((((S 0) #\a) #\b) 9)
;; good:
(((((T 12) #\a) 7) #\b) 9)
;; bad:
;(((((T 12) #\a) 7) #\b) #\c)
;; good:
;((((S 7) 8) 9) 10)
;; bad:
;(((((S 7) 8) 9) 10) #\b)