úÎ!  ¡$      !"#NoneQV&$%&'()*None&',-;<=>?FQSTV]d  union'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 :: *. unionCase analysis for unions. union\Since a union with an empty list of labels is uninhabited, we can recover any type from it.  +      !"#$%&'()*+,-."union-0.1.2-CIm32PUWq23FvN6HN4RtW4 Data.UnionData.Union.Prism OpenUnionUSubsetusubseturelax urestrictUElemuprismuliftumatchUnionThisThatunion absurdUnionumap_This_That openUnion$fHashableUnion$fHashableUnion0$fGenericUnion$fGenericUnion0$fExceptionUnion$fExceptionUnion0 $fOrdUnion $fOrdUnion0 $fEqUnion $fEqUnion0 $fShowUnion $fShowUnion0 $fNFDataUnion$fNFDataUnion0 $fUElemaa:S $fUElemaa:Z$fUSubsetu:bs:$fUSubsetu[]bs[]Prism'Prismisoprismprism'reviewpreview