type family MayFstIndexSnd ts1 ts2 :: Maybe N

class HUnion els1 els2 elsr fidx sidx

type HUnionable els1 els2 elsr