Jakob Brünker wrote a #Haskell GHC plugin to allow monadic values within expressions, if prefixed with a bang:
help :: Reader Contact String
help = do
pure $
"Call us at " <> (!ask).phone <> " or email " <> (!ask).email
Very exiting experiment!
https://hackage.haskell.org/package/monadic-bang-0.1.0.0
@nomeata I know... It just rubs me wrong way that a line marked by "pure" becomes a source of effects.
@dpwiz The `pure` here isn’t special, though, but just a normal monadic, and the banged expressions can be anywhere within a `do` block:
putStrLn $ "The current value is " <> show !(readIORef counter)
(There is also a thread at https://discourse.haskell.org/t/monadic-bang-a-plugin-for-more-concise-do-block-notation-inspired-by-idris/5556?u=nomeata)