 ERROR: type-mismatch-error word expected-types ;
 ERROR: input-mismatch-error < type-mismatch-error ;
 ERROR: output-mismatch-error < type-mismatch-error ;
+
+PREDICATE: typed-gensym < word "typed-gensym" word-prop ;
+PREDICATE: typed-standard-word < word "typed-word" word-prop ;
+PREDICATE: typed-lambda-word < lambda-word "typed-word" word-prop ;
+
+<PRIVATE
 
 : unboxable-tuple-class? ( type -- ? )
     {

        [ effect-out-types typed-stack-effect? ]
    } 1|| [ (typed-def) ] [ drop nip ] if ;

: define-typed ( word def effect -- )
    [ [ 2drop ] [ typed-def ] [ 2nip ] 3tri define-inline ] 
    [ drop "typed-def" set-word-prop ]

    [ effect-in-types unboxed-types [ "in" swap 2array ] map ]
    [ effect-out-types unboxed-types [ "out" swap 2array ] map ] bi <effect> ;

M: typed-gensym stack-effect
    call-next-method unboxed-effect ;
M: typed-gensym crossref? 
    "typed-gensym" word-prop crossref? ;

: define-typed-gensym ( word def effect -- gensym )
    [ 2drop <typed-gensym> dup ]
    [ [ (typed) ] 3curry ]
    [ 2nip ] 3tri define-declared ;

