[Haskell-cafe] Re: Summarize of Why do I have to specify (Monad m) here again?

Benjamin Franksen benjamin.franksen at bessy.de
Sun Feb 18 18:26:24 EST 2007


David Tolpin wrote:
> On Mon, 19 Feb 2007 02:17:34 +0400, Marc Weber <marco-oweber at gmx.de>
> wrote:
> 
>> Would it make sense to specify partial type declarations ?
>> I don't need an answer right now.
> 
> no, it wouldn't. 

I think it would, and it seems there are others. See e.g.
http://www.mail-archive.com/haskell%40haskell.org/msg10677.html

There is even a hack that allows you to do it in Haskell98, see
http://okmij.org/ftp/Haskell/partial-signatures.lhs

(hey, google rulez!)

Cheers
Ben



More information about the Haskell-Cafe mailing list