pub fn shallow_handler_ty() -> Expr
ShallowHandler : Type → Type → Type → Type
A shallow handler for algebraic effects, handling only the first effect operation.