Comment by zellyn Comment by zellyn 5 months 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.