Data.HSet.Union
type family MayFstIndexSnd (ts1 :: [k]) (ts2 :: [k]) :: Maybe N where ...
class HUnion els1 els2 elsr fidx sidx
type HUnionable els1 els2 elsr