Data.Open.Union.Internal
data Union r v
data Nat
data P n
class Member' t r n
type family FindElem (t :: * -> *) r :: Nat where ...
type family EQU (a :: k) (b :: k) :: Bool where ...
decomp
weaken
extract
class Member t r