[Haskell-cafe] Downsides of the Prompt Monad

[David Feuer]

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.

David