They are not "just structs and tagged unions". The language support that enforces safe usage is not optional.