(let ((type integer int)
      (type int_array (array int))
      (type student (record (id int) (name string)))
      (type linked_list (record (value int) (next linked_list)))
      (type
       binary_tree
       (record (key int) (left binary_tree) (right binary_tree))))
  ())