úÎ á Ñ     NoneINNone!"'(3457>IKLNUY '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_IjRS8jgIvrt5kY4rkuQNj2 Data.UnionData.Union.Prism OpenUnionUSubsetusubseturelax urestrictUElemuprismuliftumatchUnionThisThatunion absurdUnionumap_This_That openUnionPrism'PrismIsoisoprismprism'reviewpreview$fExceptionUnion$fExceptionUnion0 $fOrdUnion $fOrdUnion0 $fEqUnion $fEqUnion0 $fShowUnion $fShowUnion0 $fNFDataUnion$fNFDataUnion0$fUSubsetk:bs:$fUSubsetk[]bs[] $fUElemka:S $fUElemka:Z