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