Provide a way to run a handler of multiple providedEs with a given input.

Note: f can be used to alter the return type of the handler. If that's unnecessary, use ProviderList_.

A restricted variant of ProviderList with unchanged return type of the handler.

Run the labeled ProviderList effect with a given handler.

Run the labeled ProviderList effect with a given handler that doesn't change its return type.

Run the handler.

Run the handler with unchanged return type.

Run the handler with a given input.

Run the handler that doesn't change its return type with a given input.

Assign a label to an effect.

Note: labeled effects are best used together with the effectful-plugin package, as it significantly improves their usability.

The constructor is for sending labeled operations of a dynamically dispatched effect to the handler:

>>> import Effectful.Dispatch.Dynamic

>>> :{
  data X :: Effect where
    X :: X m Int
  type instance DispatchOf X = Dynamic
:}

>>> :{
  runPureEff . runLabeled @"x" (interpret_ $ \X -> pure 333) $ do
    send $ Labeled @"x" X
:}
333

Append two type-level lists together.

Provide evidence that subEs is a known subset of es.