 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 ;


: boxer ( type -- quot )
    dup unboxable-tuple-class?
    [ [ all-slots [ class>> ] map make-boxer ] [ [ boa ] curry ] bi compose ]
    [ drop [ ] ] if ;

: make-boxer ( types -- quot )


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