Algebraic types without being able to conveniently destructure them is maybe half the benefit at best.