I just have general curiosity about the Nothing type, is there anything one should particularly know about it? Is it similar to a None type that one would typically find in pattern matching, ex. an Option type where it can be either Something or None, etc.
I feel like Nothing and patterns for its use aren't well documented to this point. Dom