Syntactic sugar for the Member type
Syntactic sugar for the Member type
implicit m: Member[M, R] implicit m: M <= R
Implicits for determining if an effect T is member of a stack R
Implicits for determining if an effect T is member of a stack R
Member uses MemberNat which tracks the "depth" of the effect in the stack R using type-level naturals
helper method to untag a tagged effect