Data.OpenUnion

data Union s

class s :< s'

type family s :\ a

(@>)

liftUnion

reUnion

restrict

typesExhausted