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