Data.Union
data Union f as
union
absurdUnion
umap
_This
_That
class UElem a as i
class USubset as bs is
type OpenUnion
openUnion