Data.OpenUnion.Internal

data Union r a

unsafeInj

unsafePrj

data P t r w

class FindElem t r w

class Member eff effs

decomp

decomp0

extract

weaken

type family xs :++: ys where ...

class Weakens q