On Mon, Oct 6, 2008 at 2:27 PM, Jason Dagit <[EMAIL PROTECTED]> wrote:
> > For what it's worth, in my real program where this came up, sy was created > by a recursive call like this: > I guess it should have been more like this: blah :: Sealed (p x) foo :: Sealed (q b) foo = do p <- blah q <- foo return (Sealed (f p q)) Sorry for any confusion!
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
