Turns out the extra combinators for making the Union are effect are not necessary