I have a question that I was going to post on Software Engineering, but I suddenly stumbled upon this site, and now I'm wondering if the question would be on-topic here.
There's a draft available here, but here's a summary:
I'm now wondering if it makes sense to have both the concept of null and Maybe, to represent unknown and nothing respectively. Is this the three-valued logic I read about, or does it have another name? Or is the intended way to nest a Maybe in a Maybe?
Looking at your questions, they all seem to be a lot more theoretical than my question, so I think it's off-topic, but figured it couldn't hurt to ask.