doesn't seem to work

a.rkt

#lang racket

(module a-sig racket
  (provide a^)

  (define-signature a^
    (a)))

(module a-impl racket
  (require (submod ".." a-sig)
           (submod "b.rkt" b-sig))
  (provide a@)
  
  (define-unit a@
    (import b^)
    (export a^)
    
    (define (a x)
      (if x 'a (b x)))))

b.rkt

#lang racket

(module b-sig racket
  (provide b^)

  (define-signature b^
    (b)))

(module b-impl racket
  (require (submod "a.rkt" a-sig)
           (submod ".." b-sig))
  (provide b@)
  
  (define-unit b@
    (import a^)
    (export b^)
    
    (define (b x)
      (if x (a x) 'b))))