(define impc:ti:coerce-check (lambda (ast vars kts request?) (impc:ti:type-check (cadr ast) vars kts #f) (list (caddr ast))))