egglog 7.2.0__cp311-none-win_amd64.whl → 8.0.1__cp311-none-win_amd64.whl

egglog/pretty.py

@@ -16,6 +16,7 @@ from .declarations import *
 if TYPE_CHECKING:
     from collections.abc import Mapping
 
+
 __all__ = [
     "pretty_decl",
     "pretty_callable_ref",
@@ -77,9 +78,9 @@ def pretty_decl(
 
     This will use re-format the result and put the expression on the last line, preceeded by the statements.
     """
-    traverse = TraverseContext()
+    traverse = TraverseContext(decls)
     traverse(decl, toplevel=True)
-    pretty = traverse.pretty(decls)
+    pretty = traverse.pretty()
     expr = pretty(decl, ruleset_name=ruleset_name)
     if wrapping_fn:
         expr = f"{wrapping_fn}({expr})"
@@ -106,15 +107,20 @@ def pretty_callable_ref(
     """
     # Pass in three dummy args, which are the max used for any operation that
     # is not a generic function call
-    args: list[ExprDecl] = [VarDecl(ARG_STR)] * 3
+    args: list[ExprDecl] = [VarDecl(ARG_STR, False)] * 3
     if first_arg:
         args.insert(0, first_arg)
-    res = PrettyContext(decls, defaultdict(lambda: 0))._call_inner(
-        ref, args, bound_tp_params=bound_tp_params, parens=False
-    )
+    context = PrettyContext(decls, defaultdict(lambda: 0))
+    res = context._call_inner(ref, args, bound_tp_params=bound_tp_params, parens=False)
     # Either returns a function or a function with args. If args are provided, they would just be called,
     # on the function, so return them, because they are dummies
-    return res[0] if isinstance(res, tuple) else res
+    if isinstance(res, tuple):
+        name = res[0]
+        # if this is an unnamed function, return it but don't partially apply any args
+        if isinstance(name, UnnamedFunctionRef):
+            return context._pretty_function_body(name, [])
+        return name
+    return res
 
 
 # TODO: Add a different pretty callable ref that doesnt fill in wholes but instead returns the function
@@ -128,18 +134,20 @@ class TraverseContext:
     expression has.
     """
 
+    decls: Declarations
+
     # All expressions we have seen (incremented the parent counts of all children)
     _seen: set[AllDecls] = field(default_factory=set)
     # The number of parents for each expressions
     parents: Counter[AllDecls] = field(default_factory=Counter)
 
-    def pretty(self, decls: Declarations) -> PrettyContext:
+    def pretty(self) -> PrettyContext:
         """
         Create a pretty context from the state of this traverse context.
         """
-        return PrettyContext(decls, self.parents)
+        return PrettyContext(self.decls, self.parents)
 
-    def __call__(self, decl: AllDecls, toplevel: bool = False) -> None:  # noqa: C901
+    def __call__(self, decl: AllDecls, toplevel: bool = False) -> None:  # noqa: C901, PLR0912
         if not toplevel:
             self.parents[decl] += 1
         if decl in self._seen:
@@ -169,9 +177,13 @@ class TraverseContext:
                     if isinstance(de, DefaultRewriteDecl):
                         continue
                     self(de)
-            case CallDecl(_, exprs, _):
-                for e in exprs:
-                    self(e.expr)
+            case CallDecl(ref, exprs, _):
+                match ref:
+                    case FunctionRef(UnnamedFunctionRef(_, res)):
+                        self(res.expr)
+                    case _:
+                        for e in exprs:
+                            self(e.expr)
             case RunDecl(_, until):
                 if until:
                     for f in until:
@@ -224,7 +236,7 @@ class PrettyContext:
             return expr_name
         return expr
 
-    def uncached(self, decl: AllDecls, *, unwrap_lit: bool, parens: bool, ruleset_name: str | None) -> tuple[str, str]:  # noqa: PLR0911
+    def uncached(self, decl: AllDecls, *, unwrap_lit: bool, parens: bool, ruleset_name: str | None) -> tuple[str, str]:  # noqa: C901, PLR0911, PLR0912
         match decl:
             case LitDecl(value):
                 match value:
@@ -244,8 +256,7 @@ class PrettyContext:
             case CallDecl(_, _, _):
                 return self._call(decl, parens)
             case PartialCallDecl(CallDecl(ref, typed_args, _)):
-                arg_strs = (_pretty_callable(ref), *(self(a.expr, parens=False, unwrap_lit=True) for a in typed_args))
-                return f"UnstableFn({', '.join(arg_strs)})", "fn"
+                return self._pretty_partial(ref, [a.expr for a in typed_args]), "fn"
             case PyObjectDecl(value):
                 return repr(value) if unwrap_lit else f"PyObject({value!r})", "PyObject"
             case ActionCommandDecl(action):
@@ -352,12 +363,16 @@ class PrettyContext:
             has_multiple_parents = self.parents[first_arg] > 1
             self.names[decl] = expr_name = self._name_expr(tp_name, expr_str, copy_identifier=has_multiple_parents)
             # Set the first arg to be the name of the mutated arg and return the name
-            args[0] = VarDecl(expr_name)
+            args[0] = VarDecl(expr_name, True)
         else:
             expr_name = None
         res = self._call_inner(ref, args, decl.bound_tp_params, parens)
         expr = (
-            f"{res[0]}({', '.join(self(a, parens=False, unwrap_lit=True) for a in res[1])})"
+            (
+                f"{name}({', '.join(self(a, parens=False, unwrap_lit=True) for a in res[1])})"
+                if isinstance((name := res[0]), str)
+                else ((called := self._pretty_function_body(name, res[1])) if not parens else f"({called})")
+            )
             if isinstance(res, tuple)
             else res
         )
@@ -367,9 +382,13 @@ class PrettyContext:
             return expr_name, tp_name
         return expr, tp_name
 
-    def _call_inner(  # noqa: PLR0911
-        self, ref: CallableRef, args: list[ExprDecl], bound_tp_params: tuple[JustTypeRef, ...] | None, parens: bool
-    ) -> tuple[str, list[ExprDecl]] | str:
+    def _call_inner(  # noqa: C901, PLR0911, PLR0912
+        self,
+        ref: CallableRef,
+        args: list[ExprDecl],
+        bound_tp_params: tuple[JustTypeRef, ...] | None,
+        parens: bool,
+    ) -> tuple[str | UnnamedFunctionRef, list[ExprDecl]] | str:
         """
         Pretty print the call, returning either the full function call or a tuple of the function and the args.
         """
@@ -408,6 +427,8 @@ class PrettyContext:
             case InitRef(class_name):
                 tp_ref = JustTypeRef(class_name, bound_tp_params or ())
                 return str(tp_ref), args
+            case UnnamedFunctionRef():
+                return ref, args
         assert_never(ref)
 
     def _generate_name(self, typ: str) -> str:
@@ -428,29 +449,52 @@ class PrettyContext:
             self.statements.append(f"{name} = {expr_str}")
         return name
 
+    def _pretty_partial(self, ref: CallableRef, args: list[ExprDecl]) -> str:
+        """
+        Returns a partial function call as a string.
+        """
+        match ref:
+            case FunctionRef(name):
+                fn = name
+            case UnnamedFunctionRef():
+                return self._pretty_function_body(ref, args)
+            case (
+                ClassMethodRef(class_name, method_name)
+                | MethodRef(class_name, method_name)
+                | PropertyRef(class_name, method_name)
+            ):
+                fn = f"{class_name}.{method_name}"
+            case InitRef(class_name):
+                fn = class_name
+            case ConstantRef(_):
+                msg = "Constants should not be callable"
+                raise NotImplementedError(msg)
+            case ClassVariableRef(_, _):
+                msg = "Class variables should not be callable"
+                raise NotADirectoryError(msg)
+            case _:
+                assert_never(ref)
+        if not args:
+            return fn
+        arg_strs = (
+            fn,
+            *(self(a, parens=False, unwrap_lit=True) for a in args),
+        )
+        return f"partial({', '.join(arg_strs)})"
 
-def _pretty_callable(ref: CallableRef) -> str:
-    """
-    Returns a function call as a string.
-    """
-    match ref:
-        case FunctionRef(name):
-            return name
-        case (
-            ClassMethodRef(class_name, method_name)
-            | MethodRef(class_name, method_name)
-            | PropertyRef(class_name, method_name)
-        ):
-            return f"{class_name}.{method_name}"
-        case InitRef(class_name):
-            return class_name
-        case ConstantRef(_):
-            msg = "Constants should not be callable"
-            raise NotImplementedError(msg)
-        case ClassVariableRef(_, _):
-            msg = "Class variables should not be callable"
-            raise NotADirectoryError(msg)
-    assert_never(ref)
+    def _pretty_function_body(self, fn: UnnamedFunctionRef, args: list[ExprDecl]) -> str:
+        """
+        Pretty print the body of a function, partially applying some arguments.
+        """
+        var_args = fn.args
+        replacements = {var_arg: TypedExprDecl(var_arg.tp, arg) for var_arg, arg in zip(var_args, args, strict=False)}
+        var_args = var_args[len(args) :]
+        res = replace_typed_expr(fn.res, replacements)
+        arg_names = fn.args[len(args) :]
+        prefix = "lambda"
+        if arg_names:
+            prefix += f" {', '.join(self(a.expr) for a in arg_names)}"
+        return f"{prefix}: {self(res.expr)}"
 
 
 def _plot_line_length(expr: object):  # pragma: no cover
@@ -469,6 +513,6 @@ def _plot_line_length(expr: object):  # pragma: no cover
             new_l = len(str(expr).split())
             sizes.append((line_length, diff, new_l))
 
-    df = pd.DataFrame(sizes, columns=["MAX_LINE_LENGTH", "LENGTH_DIFFERENCE", "n"])  # noqa: PD901
+    df = pd.DataFrame(sizes, columns=["MAX_LINE_LENGTH", "LENGTH_DIFFERENCE", "n"])
 
     return alt.Chart(df).mark_rect().encode(x="MAX_LINE_LENGTH:O", y="LENGTH_DIFFERENCE:O", color="n:Q")

egglog/runtime.py

@@ -81,7 +81,7 @@ def resolve_type_annotation(decls: Declarations, tp: object) -> TypeOrVarRef:
         return resolve_type_annotation(decls, first)
 
     # If the type is `object` then this is assumed to be a PyObjectLike, i.e. converted into a PyObject
-    if tp == object:
+    if tp is object:
         assert _PY_OBJECT_CLASS
         return resolve_type_annotation(decls, _PY_OBJECT_CLASS)
     # If the type is a `Callable` then convert it into a UnstableFn
@@ -127,8 +127,8 @@ class RuntimeClass(DelayedDeclerations):
         # If this is a literal type, initializing it with a literal should return a literal
         if (name := self.__egg_tp__.name) == "PyObject":
             assert len(args) == 1
-            return RuntimeExpr.__from_value__(
-                self.__egg_decls__, TypedExprDecl(self.__egg_tp__.to_just(), PyObjectDecl(args[0]))
+            return RuntimeExpr(
+                self.__egg_decls_thunk__, Thunk.value(TypedExprDecl(self.__egg_tp__.to_just(), PyObjectDecl(args[0])))
             )
         if name == "UnstableFn":
             assert not kwargs
@@ -150,20 +150,20 @@ class RuntimeClass(DelayedDeclerations):
             value = PartialCallDecl(replace(call, args=call.args[:n_args]))
             remaining_arg_types = [a.tp for a in call.args[n_args:]]
             type_ref = JustTypeRef("UnstableFn", (return_tp, *remaining_arg_types))
-            return RuntimeExpr.__from_value__(Declarations.create(self, res), TypedExprDecl(type_ref, value))
+            return RuntimeExpr.__from_values__(Declarations.create(self, res), TypedExprDecl(type_ref, value))
 
         if name in UNARY_LIT_CLASS_NAMES:
             assert len(args) == 1
             assert isinstance(args[0], int | float | str | bool)
-            return RuntimeExpr.__from_value__(
-                self.__egg_decls__, TypedExprDecl(self.__egg_tp__.to_just(), LitDecl(args[0]))
+            return RuntimeExpr(
+                self.__egg_decls_thunk__, Thunk.value(TypedExprDecl(self.__egg_tp__.to_just(), LitDecl(args[0])))
             )
         if name == UNIT_CLASS_NAME:
             assert len(args) == 0
-            return RuntimeExpr.__from_value__(
-                self.__egg_decls__, TypedExprDecl(self.__egg_tp__.to_just(), LitDecl(None))
+            return RuntimeExpr(
+                self.__egg_decls_thunk__, Thunk.value(TypedExprDecl(self.__egg_tp__.to_just(), LitDecl(None)))
             )
-        fn = RuntimeFunction(Thunk.value(self.__egg_decls__), InitRef(name), self.__egg_tp__.to_just())
+        fn = RuntimeFunction(self.__egg_decls_thunk__, Thunk.value(InitRef(name)), self.__egg_tp__.to_just())
         return fn(*args, **kwargs)  # type: ignore[arg-type]
 
     def __dir__(self) -> list[str]:
@@ -208,19 +208,21 @@ class RuntimeClass(DelayedDeclerations):
         # if this is a class variable, return an expr for it, otherwise, assume it's a method
         if name in cls_decl.class_variables:
             return_tp = cls_decl.class_variables[name]
-            return RuntimeExpr.__from_value__(
-                self.__egg_decls__,
-                TypedExprDecl(return_tp.type_ref, CallDecl(ClassVariableRef(self.__egg_tp__.name, name))),
+            return RuntimeExpr(
+                self.__egg_decls_thunk__,
+                Thunk.value(TypedExprDecl(return_tp.type_ref, CallDecl(ClassVariableRef(self.__egg_tp__.name, name)))),
             )
         if name in cls_decl.class_methods:
             return RuntimeFunction(
-                Thunk.value(self.__egg_decls__), ClassMethodRef(self.__egg_tp__.name, name), self.__egg_tp__.to_just()
+                self.__egg_decls_thunk__,
+                Thunk.value(ClassMethodRef(self.__egg_tp__.name, name)),
+                self.__egg_tp__.to_just(),
             )
         # allow referencing properties and methods as class variables as well
         if name in cls_decl.properties:
-            return RuntimeFunction(Thunk.value(self.__egg_decls__), PropertyRef(self.__egg_tp__.name, name))
+            return RuntimeFunction(self.__egg_decls_thunk__, Thunk.value(PropertyRef(self.__egg_tp__.name, name)))
         if name in cls_decl.methods:
-            return RuntimeFunction(Thunk.value(self.__egg_decls__), MethodRef(self.__egg_tp__.name, name))
+            return RuntimeFunction(self.__egg_decls_thunk__, Thunk.value(MethodRef(self.__egg_tp__.name, name)))
 
         msg = f"Class {self.__egg_tp__.name} has no method {name}"
         if name == "__ne__":
@@ -241,16 +243,23 @@ class RuntimeClass(DelayedDeclerations):
 
 @dataclass
 class RuntimeFunction(DelayedDeclerations):
-    __egg_ref__: CallableRef
+    __egg_ref_thunk__: Callable[[], CallableRef]
     # bound methods need to store RuntimeExpr not just TypedExprDecl, so they can mutate the expr if required on self
     __egg_bound__: JustTypeRef | RuntimeExpr | None = None
 
+    @property
+    def __egg_ref__(self) -> CallableRef:
+        return self.__egg_ref_thunk__()
+
     def __call__(self, *args: object, _egg_partial_function: bool = False, **kwargs: object) -> RuntimeExpr | None:
         from .conversion import resolve_literal
 
         if isinstance(self.__egg_bound__, RuntimeExpr):
             args = (self.__egg_bound__, *args)
-        signature = self.__egg_decls__.get_callable_decl(self.__egg_ref__).to_function_decl().signature
+        try:
+            signature = self.__egg_decls__.get_callable_decl(self.__egg_ref__).to_function_decl().signature
+        except Exception as e:
+            raise TypeError(f"Failed to find callable {self}") from e
         decls = self.__egg_decls__.copy()
         # Special case function application bc we dont support variadic generics yet generally
         if signature == "fn-app":
@@ -285,7 +294,7 @@ class RuntimeFunction(DelayedDeclerations):
         args = bound.args
 
         upcasted_args = [
-            resolve_literal(cast(TypeOrVarRef, tp), arg)
+            resolve_literal(cast(TypeOrVarRef, tp), arg, Thunk.value(decls))
             for arg, tp in zip_longest(args, signature.arg_types, fillvalue=signature.var_arg_type)
         ]
         decls.update(*upcasted_args)
@@ -322,9 +331,10 @@ class RuntimeFunction(DelayedDeclerations):
         # If there is not return type, we are mutating the first arg
         if not signature.return_type:
             first_arg = upcasted_args[0]
-            first_arg.__egg_thunk__ = Thunk.value((decls, typed_expr_decl))
+            first_arg.__egg_decls_thunk__ = Thunk.value(decls)
+            first_arg.__egg_typed_expr_thunk__ = Thunk.value(typed_expr_decl)
             return None
-        return RuntimeExpr.__from_value__(decls, typed_expr_decl)
+        return RuntimeExpr.__from_values__(decls, typed_expr_decl)
 
     def __str__(self) -> str:
         first_arg, bound_tp_params = None, None
@@ -349,7 +359,9 @@ def to_py_signature(sig: FunctionSignature, decls: Declarations, optional_args:
         Parameter(
             n,
             Parameter.POSITIONAL_OR_KEYWORD,
-            default=RuntimeExpr.__from_value__(decls, TypedExprDecl(t.to_just(), d if d is not None else VarDecl(n)))
+            default=RuntimeExpr.__from_values__(
+                decls, TypedExprDecl(t.to_just(), d if d is not None else VarDecl(n, True))
+            )
             if d is not None or optional_args
             else Parameter.empty,
         )
@@ -387,21 +399,16 @@ PARTIAL_METHODS = {
 
 
 @dataclass
-class RuntimeExpr:
-    # Defer needing decls/expr so we can make constants that don't resolve their class types
-    __egg_thunk__: Callable[[], tuple[Declarations, TypedExprDecl]]
+class RuntimeExpr(DelayedDeclerations):
+    __egg_typed_expr_thunk__: Callable[[], TypedExprDecl]
 
     @classmethod
-    def __from_value__(cls, d: Declarations, e: TypedExprDecl) -> RuntimeExpr:
-        return cls(Thunk.value((d, e)))
-
-    @property
-    def __egg_decls__(self) -> Declarations:
-        return self.__egg_thunk__()[0]
+    def __from_values__(cls, d: Declarations, e: TypedExprDecl) -> RuntimeExpr:
+        return cls(Thunk.value(d), Thunk.value(e))
 
     @property
     def __egg_typed_expr__(self) -> TypedExprDecl:
-        return self.__egg_thunk__()[1]
+        return self.__egg_typed_expr_thunk__()
 
     def __getattr__(self, name: str) -> RuntimeFunction | RuntimeExpr | Callable | None:
         cls_name = self.__egg_class_name__
@@ -411,9 +418,9 @@ class RuntimeExpr:
             return preserved_methods[name].__get__(self)
 
         if name in class_decl.methods:
-            return RuntimeFunction(Thunk.value(self.__egg_decls__), MethodRef(cls_name, name), self)
+            return RuntimeFunction(self.__egg_decls_thunk__, Thunk.value(MethodRef(cls_name, name)), self)
         if name in class_decl.properties:
-            return RuntimeFunction(Thunk.value(self.__egg_decls__), PropertyRef(cls_name, name), self)()
+            return RuntimeFunction(self.__egg_decls_thunk__, Thunk.value(PropertyRef(cls_name, name)), self)()
         raise AttributeError(f"{cls_name} has no method {name}") from None
 
     def __repr__(self) -> str:
@@ -456,10 +463,11 @@ class RuntimeExpr:
     # otherwise copy will try to call `__getstate__` before object is initialized with properties which will cause inifinite recursion
 
     def __getstate__(self) -> tuple[Declarations, TypedExprDecl]:
-        return self.__egg_thunk__()
+        return self.__egg_decls__, self.__egg_typed_expr__
 
     def __setstate__(self, d: tuple[Declarations, TypedExprDecl]) -> None:
-        self.__egg_thunk__ = Thunk.value(d)
+        self.__egg_decls_thunk__ = Thunk.value(d[0])
+        self.__egg_typed_expr_thunk__ = Thunk.value(d[1])
 
     def __hash__(self) -> int:
         return hash(self.__egg_typed_expr__)
@@ -497,7 +505,7 @@ for name in list(BINARY_METHODS) + list(UNARY_METHODS) + ["__getitem__", "__call
                 # we use the standard process
                 pass
         if __name in class_decl.methods:
-            fn = RuntimeFunction(Thunk.value(self.__egg_decls__), MethodRef(class_name, __name), self)
+            fn = RuntimeFunction(self.__egg_decls_thunk__, Thunk.value(MethodRef(class_name, __name)), self)
             return fn(*args, **kwargs)  # type: ignore[arg-type]
         if __name in PARTIAL_METHODS:
             return NotImplemented
@@ -523,7 +531,7 @@ def call_method_min_conversion(slf: object, other: object, name: str) -> Runtime
     min_tp = min_convertable_tp(slf, other, name)
     slf = resolve_literal(TypeRefWithVars(min_tp), slf)
     other = resolve_literal(TypeRefWithVars(min_tp), other)
-    method = RuntimeFunction(Thunk.value(slf.__egg_decls__), MethodRef(slf.__egg_class_name__, name), slf)
+    method = RuntimeFunction(slf.__egg_decls_thunk__, Thunk.value(MethodRef(slf.__egg_class_name__, name)), slf)
     return method(other)
 
 
@@ -545,7 +553,12 @@ def resolve_callable(callable: object) -> tuple[CallableRef, Declarations]:
     """
     match callable:
         case RuntimeFunction(decls, ref, _):
-            return ref, decls()
+            return ref(), decls()
         case RuntimeClass(thunk, tp):
-            return ClassMethodRef(tp.name, "__init__"), thunk()
-    raise NotImplementedError(f"Cannot turn {callable} into a callable ref")
+            return InitRef(tp.name), thunk()
+        case RuntimeExpr(decl_thunk, expr_thunk):
+            if not isinstance((expr := expr_thunk().expr), CallDecl) or not isinstance(expr.callable, ConstantRef):
+                raise NotImplementedError(f"Can only turn constants into callable refs, not {expr}")
+            return expr.callable, decl_thunk()
+        case _:
+            raise NotImplementedError(f"Cannot turn {callable} of type {type(callable)} into a callable ref")

egglog/thunk.py

@@ -9,10 +9,27 @@ if TYPE_CHECKING:
     from collections.abc import Callable
 
 
-__all__ = ["Thunk"]
+__all__ = ["Thunk", "split_thunk"]
 
 T = TypeVar("T")
 TS = TypeVarTuple("TS")
+V = TypeVar("V")
+
+
+def split_thunk(fn: Callable[[], tuple[T, V]]) -> tuple[Callable[[], T], Callable[[], V]]:
+    s = _Split(fn)
+    return s.left, s.right
+
+
+@dataclass
+class _Split(Generic[T, V]):
+    fn: Callable[[], tuple[T, V]]
+
+    def left(self) -> T:
+        return self.fn()[0]
+
+    def right(self) -> V:
+        return self.fn()[1]
 
 
 @dataclass
@@ -21,18 +38,16 @@ class Thunk(Generic[T, Unpack[TS]]):
     Cached delayed function call.
     """
 
-    state: Resolved[T] | Unresolved[T, Unpack[TS]] | Resolving[T] | Error
+    state: Resolved[T] | Unresolved[T, Unpack[TS]] | Resolving | Error
 
     @classmethod
-    def fn(
-        cls, fn: Callable[[Unpack[TS]], T], *args: Unpack[TS], fallback: Callable[[], T] | None = None
-    ) -> Thunk[T, Unpack[TS]]:
+    def fn(cls, fn: Callable[[Unpack[TS]], T], *args: Unpack[TS]) -> Thunk[T, Unpack[TS]]:
         """
         Create a thunk based on some functions and some partial args.
 
-        If the function is called while it is being resolved recursively, will instead return the fallback, if provided.
+        If the function is called while it is being resolved recursively it will raise an exception.
         """
-        return cls(Unresolved(fn, args, fallback))
+        return cls(Unresolved(fn, args))
 
     @classmethod
     def value(cls, value: T) -> Thunk[T]:
@@ -42,21 +57,19 @@ class Thunk(Generic[T, Unpack[TS]]):
         match self.state:
             case Resolved(value):
                 return value
-            case Unresolved(fn, args, fallback):
-                self.state = Resolving(fallback)
+            case Unresolved(fn, args):
+                self.state = Resolving()
                 try:
                     res = fn(*args)
                 except Exception as e:
                     self.state = Error(e)
-                    raise
+                    raise e from None
                 else:
                     self.state = Resolved(res)
                     return res
-            case Resolving(fallback):
-                if fallback is None:
-                    msg = "Recursively resolving thunk without fallback"
-                    raise ValueError(msg)
-                return fallback()
+            case Resolving():
+                msg = "Recursively resolving thunk"
+                raise ValueError(msg)
             case Error(e):
                 raise e
 
@@ -70,12 +83,11 @@ class Resolved(Generic[T]):
 class Unresolved(Generic[T, Unpack[TS]]):
     fn: Callable[[Unpack[TS]], T]
     args: tuple[Unpack[TS]]
-    fallback: Callable[[], T] | None
 
 
 @dataclass
-class Resolving(Generic[T]):
-    fallback: Callable[[], T] | None
+class Resolving:
+    pass
 
 
 @dataclass