bon

(ql:quickload '(:coalton :fiasco))

(defpackage :coalton-derivative
  (:use :coalton :coalton-library))

(in-package :coalton-derivative)

(coalton-toplevel
  (define-type Symbol
    (Symbol String))

bon

#lang racket

;; Raganwald's recursive data structures.
;; http://raganwald.com/2016/12/27/recursive-data-structures.html

(require racket/list)

(define (merge1 lists)
  (cond ((or (empty? (first lists))
             (empty? (second lists)))