pub fn algebraic_effect_ty() -> Expr
AlgebraicEffect : Type → Type → Type
Effect type + operation + continuation.