     [ 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 ;
 


: (unboxed-types) ( type -- types )
    dup unboxable-tuple-class?
    [ all-slots [ class>> (unboxed-types) ] map concat ]
    [ 1array ] if ;

: unboxed-types ( types -- types' )

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 ;
