diff --git a/typed-racket-more/typed/rackunit/main.rkt b/typed-racket-more/typed/rackunit/main.rkt index ad5e4752..0d4fdb94 100644 --- a/typed-racket-more/typed/rackunit/main.rkt +++ b/typed-racket-more/typed/rackunit/main.rkt @@ -138,10 +138,7 @@ (require/opaque-type TestCase test-case? rackunit) (provide TestCase test-case?) -(require/typed - rackunit/private/monad - [#:opaque monad monad?]) -(define-type Seed (U #f monad (Object))) +(define-type Seed (U #f (Object))) (define-type test-suite-handler-down (rackunit-test-suite (Option String) (Thunk Any) (Thunk Any) Seed -> Seed))