Re: [Haskell-cafe] Downsides of the Prompt Monad

On Thu, Apr 6, 2017 at 1:53 PM, Bertram Felgenhauer via Haskell-Cafe 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