send package:incipit-core

Execute an action of an effect. This is primarily used to create methods for actions of effects:

data FooBar m a where
Foo :: String -> m a -> FooBar m a
Bar :: FooBar m Int

foo :: Member FooBar r => String -> Sem r a -> Sem r a
foo s m = send (Foo s m)

bar :: Member FooBar r => Sem r Int
bar = send Bar

makeSem allows you to eliminate this boilerplate. @since TODO