Data.Union

data Union types

absurd

class Elem types a

class Subset as bs

class All c xs