Îõ³h&·C      Safe-Inferred/ !"%&()*/0125<ÁÂÃÄÅÇÉÌÍÑÒ×ÙÚÜãéêëìïôøtype-rigComposability via type product (,) and unit type ().333 Safe-Inferred/ !"%&()*/0125<ÁÂÃÄÅÇÉÌÍÑÒ×ÙÚÜãéêëìïôøítype-rigComposability via type sum  and empty type .   2 Safe-Inferred/ !"%&()*/0125<ÁÂÃÄÅÇÉÌÍÑÒ×ÙÚÜãéêëìïôø¿type-rigComposability via a  !https://ncatlab.org/nlab/show/rigrig of types. Safe-Inferred/ !"%&()*/0125<ÁÂÃÄÅÇÉÌÍÑÒ×ÙÚÜãéêëìïôø3       #type-rig-0.1-4zy8hDGOsKiFf8SxskcpgEData.TypeRig.ProductableData.TypeRig.SummableData.TypeRig.Riggable Data.TypeRig ProductablerUnit<***>***><***$fProductableReadPrec$fProductableKleisli$fProductableEndoSummablerVoid<+++>$fSummableReadPrec$fSummableKleisli$fSummableEndoRiggable rOptionalrList1rList$fRiggableReadPrec$fRiggableKleisli$fRiggableEndobase Data.EitherEither Data.VoidVoid