(define-record bar foo)

(define-type bar
  (struct bar))

(: make-bar (string -> bar))

;; This breaks with csc -strict-types
(: foo (forall (x string) (x -> bar)))

;; However, this works
;; (: foo (string -> bar))

(define (foo x) (make-bar x))