Servant.Checked.Exceptions.Internal.Union
data Union f as
union
catchesUnion
absurdUnion
umap
_This
_That
data Nat
type family RIndex (r :: k) (rs :: [k]) :: Nat where ...
class UElem a as i
type IsMember a as
type OpenUnion
openUnion
fromOpenUnion
fromOpenUnionOr
openUnionPrism
openUnionLift
openUnionMatch
catchesOpenUnion