Data.Union

data Union f as

union

absurdUnion

umap

_This

_That

class UElem a as i

class USubset as bs is

type OpenUnion

openUnion