Moved promotion combinators into SumTypes.hs