#lang plait

(module typed plait

  (define bar to-string)
  )

(module sub plait
  #:untyped
  (require (submod ".." typed))
  (define (foo x)
    (bar x))
  (foo 2)
  )