[gnulinux]

It works because it's false when uninitialized (as default value). So if not initialized it represents Nothing value. When it is initialized it's Just T.