ADT

adt.nadeko

(data (list a)
      (cons a (list a))
      nil)

(data (tree a)
      (node a (forest a)))

(data (forest a)
      (list (tree a)))

(typefn true a a a)
(typefn cons a (list a) (list a))
(typefn car  (list a) a)
(typefn cdr  (list a) (list a))

closure-type.nadeko

(data (list a)
      (cons a (list a))
      nil)

;; --> generates -->

(typefn cons a (list a) (list a))
(= cons x y f (f x y))
(= nil 'nil)

;; user defines accessors

(= car xs (xs true))
(= cdr xs (xs false))

;;;;;;;;;;;;;;;;;;;;

(data (tree a)
      (node a (forest a)))
(data (forest a)
      (list (tree a)))

;; --> generates -->

(= node x y f (f x y))

;; user defines accessors

(= tree-root nd (nd true))
(= tree-forest nd (nd false))