 20 [
     [ t ] [
         20 [ random-boolean-op ] [ ] replicate-as dup .
-        [ infer effect-in [ random-boolean ] replicate dup . ] keep
+        [ infer in>> [ random-boolean ] replicate dup . ] keep
         
         [ >r [ ] each r> call ] 2keep
         

10 [
    [ ] [
        20 [ random-op ] [ ] replicate-as
        [ infer effect-in [ random-class ] times ] keep
        call
        drop
    ] unit-test

classes.private classes.union classes.mixin classes.predicate
vectors definitions source-files compiler.units growable
random stack-checker effects kernel.private sbufs math.order
classes.tuple accessors ;
IN: classes.algebra.tests

\ class< must-infer
