::
GHC 9.10.3
Modulevortex-effects-0.1.2Haskell2010
data Say (m :: k) a where
Say :: String -> Say m ()
say :: Member Say r => String -> Sem r ()
from Say
runSay :: Member (Embed IO) r => Emit -> Sem (Say ': r) a -> Sem r a