Comment by zellyn Comment by zellyn a day ago 0 replies Copy Link View on Hacker News At least in the first example, the optionality is directly encoded in the types, so no assumptions have been lost.