h*1.0.0.3 Safe-Inferred!%&)*/0169<{ effectful-thFor an effect data type E,  E( generates the appropriate instance of 4 as well as functions for performing operations of E by ing them to the effect handler.:{ data E :: Effect where Op1 :: Int -> m a -> E m a, Op2 :: IOE :> es => Int -> E (Eff es) (), Op3 :: (forall r. m r -> m r) -> E m Int makeEffect ''E:}:kind! DispatchOf EDispatchOf E :: Dispatch ...Dynamic:i op1=op1 :: (HasCallStack, E :> es) => Int -> Eff es a -> Eff es a...:i op2=op2 :: (HasCallStack, E :> es, IOE :> es) => Int -> Eff es ()...:i op3op3 :: (HasCallStack, E :> es) =>0 (forall r. Eff es r -> Eff es r) -> Eff es Int...The naming rule changes the first uppercase letter in the constructor name to lowercase or removes the : symbol in case of operators. Any fixity annotations defined for the constructors are preserved for the corresponding definitions.If the constructor declaration has Haddock, then this is reused for the sending functions, otherwise a simple placeholder is used. effectful-thLike , but doesn't generate type signatures. This is useful when you want to attach Haddock documentation to function signatures::{ data Noop :: Effect where Noop :: Noop m () makeEffect_ ''Noop -- | Perform nothing at all.! noop :: Noop :> es => Eff es ():}Note:# function signatures must be added after the call to . effectful-th4Generate a single definition of an effect operation.  +effectful-th-1.0.0.3-2Q8RBozkdkBHi0INCoFLoM Effectful.TH effectful-th makeEffect makeEffect_-effectful-core-2.4.0.0-AChGPUBEiEJCiCVtIxyXC4Effectful.Internal.Env DispatchOfEffectful.Internal.MonadsendmakeCon