pub fn deep_handler_ty() -> Expr
DeepHandler : Type → Type → Type → Type
A deep handler for algebraic effects, handling the entire computation tree. Signature: EffectRow → ResultType → HandledType → Type.