Simple Union Type
Using and applying fold function