[Haskell-cafe] Downsides of the Prompt Monad

David Feuer david.feuer at gmail.com
Fri Apr 7 21:00:31 UTC 2017

On Thu, Apr 6, 2017 at 1:53 PM, Bertram Felgenhauer via Haskell-Cafe
<haskell-cafe at haskell.org> wrote:
>     data PromptF' p x = forall a. PromptF (a -> x) (p a)

This PromptF' is just Coyoneda. I don't know about your fancier version as yet.


More information about the Haskell-Cafe mailing list