A type with only one possible value

Variables

@:value(cast 1)@:impl@:enuminlineread onlyUnit:Unit = 1