NoneOT !"#$%&' !#$%&' !"#$%&'None%&+,9:;<=DOQRT[a 'A union is parameterized by a universe u, an interpretation f and a list of labels as@. The labels of the union are given by inhabitants of the kind u"; the type of values at any label a :: u is given by its interpretation f a :: *. Case analysis for unions. \Since a union with an empty list of labels is uninhabited, we can recover any type from it.      (      !"#$%&'()*+$union-0.1.1.1-5mvFSxruH9eI6ObLzqNdAs Data.UnionData.Union.Prism OpenUnionUSubsetusubseturelax urestrictUElemuprismuliftumatchUnionThisThatunion absurdUnionumap_This_That openUnion$fExceptionUnion$fExceptionUnion0 $fOrdUnion $fOrdUnion0 $fEqUnion $fEqUnion0 $fShowUnion $fShowUnion0 $fNFDataUnion$fNFDataUnion0$fUSubsetu:bs:$fUSubsetu[]bs[] $fUElemaa:S $fUElemaa:ZPrism'PrismIsoisoprismprism'reviewpreview