The sum types are equivalent to variant (or union in C). However, sum type in Haskell is much more than that. It is also called tagged union. The simplest sum type is Bool, which can take two values True and False. In this recipe, we will define simple sum types and use them in our example.