Data.Union.Type

data Union a

data Node