úÎ ¥     None!"'(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_L2BVogqki8U4qxiHGj1C3d Data.Union OpenUnionUSubsetusubsetUElemuprismUnionThisThatunion absurdUnionumap_This_That openUnion unionToEither$fExceptionUnion$fExceptionUnion0 $fOrdUnion $fOrdUnion0 $fEqUnion $fEqUnion0 $fShowUnion $fShowUnion0$fUSubsetk:bs:$fUSubsetk[]bs[] $fUElemka:S $fUElemka:Z