For the record, and to speak up as part of a possible silent majority,
I completely understand the type error messages. I find enough
information in them. I like them.
I find it unnecessary to decrypt the two words expected and
inferred. They have their own definitions and they stand for
Am Samstag 24 Oktober 2009 21:21:51 schrieb Albert Y. C. Lai:
For the record, and to speak up as part of a possible silent majority,
I completely understand the type error messages.
Mostly, I do, too. But I can't get why IO () is *expected* and Maybe () is
*inferred* for
bar in fun2.
Can you
