Constructs a Just. Represents an optional value that exists