Represents a helper construct which allows expressing presence. It can be used for a parameterless function so that it has one parameter and thus can be used as infix function.