#lang racket/load
(require typed/racket)
(:print-type +)
(:print-type (values 2 3 4))
(:print-type (error 'ManyTypes))