> (:print-type +)
(case->
 (-> Zero)
 (-> Number Number)
 (-> Zero Zero Zero)
 (-> Number Zero Number)
 (-> Zero Number Number)
 (-> Positive-Byte Positive-Byte Positive-Index)
 (-> Byte Byte Index)
 (-> Positive-Byte Positive-Byte Positive-Byte Positive-Index)
 (-> Byte Byte Byte Index)
 (-> Positive-Index Index Positive-Fixnum)
 (-> Index Positive-Index Positive-Fixnum)
 (-> Positive-Index Index Index Positive-Fixnum)
 (-> Index Positive-Index Index Positive-Fixnum)
 (-> Index Index Positive-Index Positive-Fixnum)
 (->* (Index Index) (Index) Nonnegative-Fixnum)
 (-> Negative-Fixnum One Nonpositive-Fixnum)
 (-> One Negative-Fixnum Nonpositive-Fixnum)
 (-> Nonpositive-Fixnum Nonnegative-Fixnum Fixnum)
 (-> Nonnegative-Fixnum Nonpositive-Fixnum Fixnum)
 (-> Positive-Integer
     Nonnegative-Integer
     Nonnegative-Integer
     *
     Positive-Integer)
 (-> Nonnegative-Integer
     Positive-Integer
     Nonnegative-Integer
     *
     Positive-Integer)
 (-> Nonnegative-Integer
     Nonnegative-Integer
     Positive-Integer
     Nonnegative-Integer
     *
     Positive-Integer)
 (-> Negative-Integer
     Nonpositive-Integer
     Nonpositive-Integer
     *
     Negative-Integer)
 (-> Nonpositive-Integer
     Negative-Integer
     Nonpositive-Integer
     *
     Negative-Integer)
 (-> Nonpositive-Integer
     Nonpositive-Integer
     Negative-Integer
     Nonpositive-Integer
     *
     Negative-Integer)
 (-> Nonnegative-Integer * Nonnegative-Integer)
 (-> Nonpositive-Integer * Nonpositive-Integer)
 (-> Integer * Integer)
 (-> Positive-Exact-Rational
     Nonnegative-Exact-Rational
     Nonnegative-Exact-Rational
     *
     Positive-Exact-Rational)
 (-> Nonnegative-Exact-Rational
     Positive-Exact-Rational
     Nonnegative-Exact-Rational
     *
     Positive-Exact-Rational)
 (-> Nonnegative-Exact-Rational
     Nonnegative-Exact-Rational
     Positive-Exact-Rational
     Nonnegative-Exact-Rational
     *
     Positive-Exact-Rational)
 (-> Negative-Exact-Rational
     Nonpositive-Exact-Rational
     Nonpositive-Exact-Rational
     *
     Negative-Exact-Rational)
 (-> Nonpositive-Exact-Rational
     Negative-Exact-Rational
     Nonpositive-Exact-Rational
     *
     Negative-Exact-Rational)
 (-> Nonpositive-Exact-Rational
     Nonpositive-Exact-Rational
     Negative-Exact-Rational
     Nonpositive-Exact-Rational
     *
     Negative-Exact-Rational)
 (-> Nonnegative-Exact-Rational * Nonnegative-Exact-Rational)
 (-> Nonpositive-Exact-Rational * Nonpositive-Exact-Rational)
 (-> Exact-Rational * Exact-Rational)
 (-> Positive-Flonum Nonnegative-Real Nonnegative-Real * Positive-Flonum)
 (-> Nonnegative-Real Positive-Flonum Nonnegative-Real * Positive-Flonum)
 (-> Nonnegative-Real
     Nonnegative-Real
     Positive-Flonum
     Nonnegative-Real
     *
     Positive-Flonum)
 (-> Positive-Real Nonnegative-Flonum Nonnegative-Flonum * Positive-Flonum)
 (-> Nonnegative-Flonum Positive-Real Nonnegative-Flonum * Positive-Flonum)
 (-> Nonnegative-Flonum
     Nonnegative-Flonum
     Positive-Real
     Nonnegative-Flonum
     *
     Positive-Flonum)
 (-> Negative-Flonum Nonpositive-Real Nonpositive-Real * Negative-Flonum)
 (-> Nonpositive-Real Negative-Flonum Nonpositive-Real * Negative-Flonum)
 (-> Nonpositive-Real
     Nonpositive-Real
     Negative-Flonum
     Nonpositive-Real
     *
     Negative-Flonum)
 (-> Negative-Real Nonpositive-Flonum Nonpositive-Flonum * Negative-Flonum)
 (-> Nonpositive-Flonum Negative-Real Nonpositive-Flonum * Negative-Flonum)
 (-> Nonpositive-Flonum
     Nonpositive-Flonum
     Negative-Real
     Nonpositive-Flonum
     *
     Negative-Flonum)
 (-> Nonnegative-Flonum Nonnegative-Real Nonnegative-Real * Nonnegative-Flonum)
 (-> Nonnegative-Real Nonnegative-Flonum Nonnegative-Real * Nonnegative-Flonum)
 (-> Nonnegative-Real
     Nonnegative-Real
     Nonnegative-Flonum
     Nonnegative-Real
     *
     Nonnegative-Flonum)
 (-> Nonpositive-Flonum Nonpositive-Real Nonpositive-Real * Nonpositive-Flonum)
 (-> Nonpositive-Real Nonpositive-Flonum Nonpositive-Real * Nonpositive-Flonum)
 (-> Nonpositive-Real
     Nonpositive-Real
     Nonpositive-Flonum
     Nonpositive-Real
     *
     Nonpositive-Flonum)
 (-> Flonum Real Real * Flonum)
 (-> Real Flonum Real * Flonum)
 (-> Real Real Flonum Real * Flonum)
 (-> Flonum Flonum * Flonum)
 (-> Positive-Single-Flonum
     (U Nonnegative-Single-Flonum Nonnegative-Exact-Rational)
     (U Nonnegative-Single-Flonum Nonnegative-Exact-Rational)
     *
     Positive-Single-Flonum)
 (-> (U Nonnegative-Single-Flonum Nonnegative-Exact-Rational)
     Positive-Single-Flonum
     (U Nonnegative-Single-Flonum Nonnegative-Exact-Rational)
     *
     Positive-Single-Flonum)
 (-> (U Nonnegative-Single-Flonum Nonnegative-Exact-Rational)
     (U Nonnegative-Single-Flonum Nonnegative-Exact-Rational)
     Positive-Single-Flonum
     (U Nonnegative-Single-Flonum Nonnegative-Exact-Rational)
     *
     Positive-Single-Flonum)
 (-> (U Positive-Single-Flonum Positive-Exact-Rational)
     Nonnegative-Single-Flonum
     Nonnegative-Single-Flonum
     *
     Positive-Single-Flonum)
 (-> Nonnegative-Single-Flonum
     (U Positive-Single-Flonum Positive-Exact-Rational)
     Nonnegative-Single-Flonum
     *
     Positive-Single-Flonum)
 (-> Nonnegative-Single-Flonum
     Nonnegative-Single-Flonum
     (U Positive-Single-Flonum Positive-Exact-Rational)
     Nonnegative-Single-Flonum
     *
     Positive-Single-Flonum)
 (-> Negative-Single-Flonum
     (U Nonpositive-Single-Flonum Nonpositive-Exact-Rational)
     (U Nonpositive-Single-Flonum Nonpositive-Exact-Rational)
     *
     Negative-Single-Flonum)
 (-> (U Nonpositive-Single-Flonum Nonpositive-Exact-Rational)
     Negative-Single-Flonum
     (U Nonpositive-Single-Flonum Nonpositive-Exact-Rational)
     *
     Negative-Single-Flonum)
 (-> (U Nonpositive-Single-Flonum Nonpositive-Exact-Rational)
     (U Nonpositive-Single-Flonum Nonpositive-Exact-Rational)
     Negative-Single-Flonum
     (U Nonpositive-Single-Flonum Nonpositive-Exact-Rational)
     *
     Negative-Single-Flonum)
 (-> (U Negative-Single-Flonum Negative-Exact-Rational)
     Nonpositive-Single-Flonum
     Nonpositive-Single-Flonum
     *
     Negative-Single-Flonum)
 (-> Nonpositive-Single-Flonum
     (U Negative-Single-Flonum Negative-Exact-Rational)
     Nonpositive-Single-Flonum
     *
     Negative-Single-Flonum)
 (-> Nonpositive-Single-Flonum
     Nonpositive-Single-Flonum
     (U Negative-Single-Flonum Negative-Exact-Rational)
     Nonpositive-Single-Flonum
     *
     Negative-Single-Flonum)
 (-> Nonnegative-Single-Flonum
     (U Nonnegative-Single-Flonum Nonnegative-Exact-Rational)
     (U Nonnegative-Single-Flonum Nonnegative-Exact-Rational)
     *
     Nonnegative-Single-Flonum)
 (-> (U Nonnegative-Single-Flonum Nonnegative-Exact-Rational)
     Nonnegative-Single-Flonum
     (U Nonnegative-Single-Flonum Nonnegative-Exact-Rational)
     *
     Nonnegative-Single-Flonum)
 (-> (U Nonnegative-Single-Flonum Nonnegative-Exact-Rational)
     (U Nonnegative-Single-Flonum Nonnegative-Exact-Rational)
     Nonnegative-Single-Flonum
     (U Nonnegative-Single-Flonum Nonnegative-Exact-Rational)
     *
     Nonnegative-Single-Flonum)
 (-> Nonpositive-Single-Flonum
     (U Nonpositive-Single-Flonum Nonpositive-Exact-Rational)
     (U Nonpositive-Single-Flonum Nonpositive-Exact-Rational)
     *
     Nonpositive-Single-Flonum)
 (-> (U Nonpositive-Single-Flonum Nonpositive-Exact-Rational)
     Nonpositive-Single-Flonum
     (U Nonpositive-Single-Flonum Nonpositive-Exact-Rational)
     *
     Nonpositive-Single-Flonum)
 (-> (U Nonpositive-Single-Flonum Nonpositive-Exact-Rational)
     (U Nonpositive-Single-Flonum Nonpositive-Exact-Rational)
     Nonpositive-Single-Flonum
     (U Nonpositive-Single-Flonum Nonpositive-Exact-Rational)
     *
     Nonpositive-Single-Flonum)
 (-> Single-Flonum
     (U Single-Flonum Exact-Rational)
     (U Single-Flonum Exact-Rational)
     *
     Single-Flonum)
 (-> (U Single-Flonum Exact-Rational)
     Single-Flonum
     (U Single-Flonum Exact-Rational)
     *
     Single-Flonum)
 (-> (U Single-Flonum Exact-Rational)
     (U Single-Flonum Exact-Rational)
     Single-Flonum
     (U Single-Flonum Exact-Rational)
     *
     Single-Flonum)
 (-> Single-Flonum Single-Flonum * Single-Flonum)
 (-> Positive-Inexact-Real
     Nonnegative-Real
     Nonnegative-Real
     *
     Positive-Inexact-Real)
 (-> Nonnegative-Real
     Positive-Inexact-Real
     Nonnegative-Real
     *
     Positive-Inexact-Real)
 (-> Nonnegative-Real
     Nonnegative-Real
     Positive-Inexact-Real
     Nonnegative-Real
     *
     Positive-Inexact-Real)
 (-> Positive-Real
     Nonnegative-Inexact-Real
     Nonnegative-Inexact-Real
     *
     Positive-Inexact-Real)
 (-> Nonnegative-Inexact-Real
     Positive-Real
     Nonnegative-Inexact-Real
     *
     Positive-Inexact-Real)
 (-> Nonnegative-Inexact-Real
     Nonnegative-Inexact-Real
     Positive-Real
     Nonnegative-Inexact-Real
     *
     Positive-Inexact-Real)
 (-> Negative-Inexact-Real
     Nonpositive-Real
     Nonpositive-Real
     *
     Negative-Inexact-Real)
 (-> Nonpositive-Real
     Negative-Inexact-Real
     Nonpositive-Real
     *
     Negative-Inexact-Real)
 (-> Nonpositive-Real
     Nonpositive-Real
     Negative-Inexact-Real
     Nonpositive-Real
     *
     Negative-Inexact-Real)
 (-> Negative-Real
     Nonpositive-Inexact-Real
     Nonpositive-Inexact-Real
     *
     Negative-Inexact-Real)
 (-> Nonpositive-Inexact-Real
     Negative-Real
     Nonpositive-Inexact-Real
     *
     Negative-Inexact-Real)
 (-> Nonpositive-Inexact-Real
     Nonpositive-Inexact-Real
     Negative-Real
     Nonpositive-Inexact-Real
     *
     Negative-Inexact-Real)
 (-> Nonnegative-Inexact-Real
     Nonnegative-Real
     Nonnegative-Real
     *
     Nonnegative-Inexact-Real)
 (-> Nonnegative-Real
     Nonnegative-Inexact-Real
     Nonnegative-Real
     *
     Nonnegative-Inexact-Real)
 (-> Nonnegative-Real
     Nonnegative-Real
     Nonnegative-Inexact-Real
     Nonnegative-Real
     *
     Nonnegative-Inexact-Real)
 (-> Nonpositive-Inexact-Real
     Nonpositive-Real
     Nonpositive-Real
     *
     Nonpositive-Inexact-Real)
 (-> Nonpositive-Real
     Nonpositive-Inexact-Real
     Nonpositive-Real
     *
     Nonpositive-Inexact-Real)
 (-> Nonpositive-Real
     Nonpositive-Real
     Nonpositive-Inexact-Real
     Nonpositive-Real
     *
     Nonpositive-Inexact-Real)
 (-> Inexact-Real Real Real * Inexact-Real)
 (-> Real Inexact-Real Real * Inexact-Real)
 (-> Real Real Inexact-Real Real * Inexact-Real)
 (-> Positive-Real Nonnegative-Real Nonnegative-Real * Positive-Real)
 (-> Nonnegative-Real Positive-Real Nonnegative-Real * Positive-Real)
 (-> Nonnegative-Real
     Nonnegative-Real
     Positive-Real
     Nonnegative-Real
     *
     Positive-Real)
 (-> Negative-Real Nonpositive-Real Nonpositive-Real * Negative-Real)
 (-> Nonpositive-Real Negative-Real Nonpositive-Real * Negative-Real)
 (-> Nonpositive-Real
     Nonpositive-Real
     Negative-Real
     Nonpositive-Real
     *
     Negative-Real)
 (-> Nonnegative-Real * Nonnegative-Real)
 (-> Nonpositive-Real * Nonpositive-Real)
 (-> Real * Real)
 (-> Exact-Number * Exact-Number)
 (-> Float-Complex Number Number * Float-Complex)
 (-> Number Float-Complex Number * Float-Complex)
 (-> Number Number Float-Complex Number * Float-Complex)
 (-> Flonum Inexact-Complex Inexact-Complex * Float-Complex)
 (-> Inexact-Complex Flonum Inexact-Complex * Float-Complex)
 (-> Inexact-Complex Inexact-Complex Flonum Inexact-Complex * Float-Complex)
 (-> Single-Flonum-Complex
     (U Single-Flonum Exact-Rational Single-Flonum-Complex)
     (U Single-Flonum Exact-Rational Single-Flonum-Complex)
     *
     Single-Flonum-Complex)
 (-> (U Single-Flonum Exact-Rational Single-Flonum-Complex)
     Single-Flonum-Complex
     (U Single-Flonum Exact-Rational Single-Flonum-Complex)
     *
     Single-Flonum-Complex)
 (-> (U Single-Flonum Exact-Rational Single-Flonum-Complex)
     (U Single-Flonum Exact-Rational Single-Flonum-Complex)
     Single-Flonum-Complex
     (U Single-Flonum Exact-Rational Single-Flonum-Complex)
     *
     Single-Flonum-Complex)
 (-> Inexact-Complex
     (U Inexact-Complex Real)
     (U Inexact-Complex Real)
     *
     Inexact-Complex)
 (-> (U Inexact-Complex Real)
     Inexact-Complex
     (U Inexact-Complex Real)
     *
     Inexact-Complex)
 (-> (U Inexact-Complex Real)
     (U Inexact-Complex Real)
     Inexact-Complex
     (U Inexact-Complex Real)
     *
     Inexact-Complex)
 (-> Number * Number))