On Fri, Oct 15, 2004 at 07:54:46PM -0700, [EMAIL PROTECTED] wrote:
>
> Andrew Pimlott wrote:
> > I want values in my existential type to denote, for some monad, a
> > monadic operation and a way to run the monad. Except, I want it mix
> > the operation with operations in another monad, so it use
On Tuesday 12 October 2004 5:20 pm, Ben Rudiak-Gould wrote:
[ snip -- thanks for the examples and discussion ]
>
> 1. Try replacing implementation inheritance with containment and
> delegation when you translate to Haskell.
I'm not sure I understand what you mean by containment and delegati