18 Nov
2009
18 Nov
'09
4:36 a.m.
Hello Simon, Wednesday, November 18, 2009, 12:17:31 PM, you wrote:
You could argue that (a -> b -> b) is "doing more" than (a -> ()),
if i correctly understand, we have two versions: 1) easier to use 2) more efficient and one of them may be defined via another? how about providing both versions, with simpler name for simpler version? -- Best regards, Bulat mailto:Bulat.Ziganshin@gmail.com