algebraic data types and parametric polymorphism, so you can define an option type for computations that fails and get rid of nulls