How do you think sum types are implemented in functional languages?