Leveraging (algebraic data) types to make your UI rock solid