Yeah, just like they invented Unit/Void singleton in functional languages.