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