Control.Effect.Union

type EffectUnion es fs

data Union es a

runUnion

nest

class KnownList es

type family es ++ fs :: [* -> *]