Îõ³h&/p      None!/01ÁÂÃÄÅÌÙÚÜãl  exinst-baseÌWe use nested 2-tuples instead of 4-tuples because it's easier to implement.! exinst-baseTODO: Mak1e this logarithmic." exinst-baseÌWe use nested 2-tuples instead of 3-tuples because it's easier to implement.# exinst-baseTODO: Mak1e this logarithmic.$ exinst-baseTODO: Mak1e this logarithmic.% exinst-baseTODO: Mak1e this logarithmic. exinst-baseTODO: Make this logarithmic.&      !"#$%&'(&exinst-base-0.9-ES1OGEIHJ1JIvebunJFwmV Exinst.Base$fDict4k0Boolk3k2k1cf$fDict3k0Boolk2k1cf$fDict2k0Boolk1cf$fDict1k0Boolcf $fDict0Boolc $fOrdSome4 $fOrdSome3 $fOrdSome2 $fOrdSome1 $fEqSome4 $fEqSome3 $fEqSome2 $fEqSome1 $fReadSome4 $fReadSome3 $fReadSome2 $fReadSome1 $fShowSome1 $fShowSome2 $fShowSome3 $fShowSome4 $fInjEithera $fInjEithera0$fInjaa$fGenericSome4$fGenericSome3$fGenericSome2$fGenericSome1$fShowSome4'Show$fShowSome3'Show$fShowSome2'Show$fShowSome1'Show Cartesian4 Eithers4' Cartesian3 Eithers3' Eithers2' Eithers1'