GENERIC: stack-effect ( word -- effect/f )
-M: word stack-effect
- "declared-effect" "inferred-effect"
- [ word-prop ] bi-curry@ bi or ;
+M: word stack-effect "declared-effect" word-prop ;
+
+M: deferred stack-effect call-next-method (( -- * )) or ;
M: effect clone
[ in>> clone ] [ out>> clone ] bi <effect> ;