To run Coalton Benchmarks:

(ql:quickload :coalton/benchmarks) or (asdf:load-system :coalton/benchmarks)

(in-package #:coalton-benchmarks)

(run-benchmarks)