Data.Extensible.Sum

data h :| s

hoist

embed

strike

strikeAt

(<:|)

exhaust

embedAssoc