Dependent if expressions without dependent types | TickerVault