Data.Extensible.Union

(<$?~)

data Union fs a

liftU

data Flux a f

mapFlux