#lang typed-scheme (require/typed srfi/67 [(char-compare s67:char-compare) (Char Char -> Integer)]) s67:char-compare