Reifying optional type (opens in new tab)

I dont think there is a single situation you cant do that, and it is the stated reason why it doesnt have a reify builtin. whenever you encounter a difference, there is almost certainly a . I also just recommend reading it in full, otherwise you may mis important things that are not immediately visible enough while using the language.