     [ 2nip ] 3tri define-declared ;
 
 MACRO: typed ( quot word effect -- quot' )
-    [ effect-in-types (depends-on) dup typed-stack-effect? [ typed-inputs ] [ 2drop ] if ] 
+    [ effect-in-types dup typed-stack-effect? [ typed-inputs ] [ 2drop ] if ] 
     [
-        nip effect-out-types (depends-on) dup typed-stack-effect?
+        nip effect-out-types dup typed-stack-effect?
         [ [ unboxed-types ] [ make-boxer ] bi '[ @ _ declare @ ] ] [ drop ] if
     ] 2bi ;
 


: (unboxer) ( type -- quot )
    dup unboxable-tuple-class? [
        all-slots [
            [ name>> reader-word 1quotation ]
            [ class>> (unboxer) ] bi compose

math kernel kernel.private namespaces parser quotations
sequences slots words locals 
locals.parser macros stack-checker.dependencies ;
FROM: classes.tuple.private => tuple-layout ;
IN: typed

ERROR: type-mismatch-error word expected-types ;
