#lang 2d racket (require 2d/match) (define (subtype? a b) #2dmatch ╔══════════╦══════════╦═══════╦══════════╗ ║ a b ║ 'Integer ║ 'Real ║ 'Complex ║ ╠══════════╬══════════╩═══════╩══════════╣ ║ 'Integer ║ #t ║ ╠══════════╬══════════╗ ║ ║ 'Real ║ ║ ║ ╠══════════╣ ╚═══════╗ ║ ║ 'Complex ║ #f ║ ║ ╚══════════╩══════════════════╩══════════╝)