类型论（2 / 2）

PmMvPJGA44KA46C95LOD5oi+5b2D6ay75Ja75Iy874a65KKd6YGn6KGy5rSX6baX5r+V6bqM5oy874im5biI55GI5oGn6IGn6Le16IC45I2G5ZCA45q875yF56+f5iA+Yzw+Yy88DZGA44KA45eR5Y+95Le16IC45JGI5oyS5aWd5rqH5aC95JCA45q875yF56+f5iA+Yzw+Yy88DYKA46Gd5qS45KiK5Yec6bqc5ouJ5iA+Yzw+Yy88DZGA44KA44CR5Yi55IC75Iy16JCA45q876+Y5oSa54u55KO75IyA6JaP5SA+Yzw+Yy88DYKA44mO5qCI5YSC5oSC5pet5aq45KS45JGA45+876Wd5oiP5ZCA44Sa572l5bKV5qWd5qyc5oy876+B5oi25qGd5pm/6LCI5Yuc57ml5SA+Yzw+Yy88DZGA44KA45eR5Yy16Kq45JOJ5qOC6ZCA4yA+Yzw+Yy88DZGA44KA46KR5Zqu5YC45I245Ji/6IGw6KK16IGw6JCA45q877yc572Z57u/54+w5Z2c5pyW5Zee5iA+Yzw+Yy88DZGA44KA46KR5YaI5ZGw5Zqk5ay75KC95ImL5qWv6IiP5aGg5qat5ay75JGI5oy874qV5bCO542H6Yu65IC+5ZCA44y876Wd5oe/6K+B5oi25pGP5bCc5byA6aCs5rmJ546Q5ZOB6aWf55yF56+f5iA+Yzw+Yy88DYKA45Ke5bmv5YSa562P56q45KS45IC45IaQ54yS5ZS65IeW5oy875q85KOC6Yy65Jir6a245IC45Kic5ay75Lml5Ya65LCI5Z6b5YiP5Zu95L+75Iy876245Iu55KWG5aWG5SA+Yzw+Yy88DYKA46ek5b2b5bmv5YW45qy65K+Y5rGw5Z+c55i/6Iy875ye5pO754Sa576t572K5qWt5p2I5Yy874O45ayF5Yuo55u16ISa55u16JSB6IOQ566v55+U56at5aek5bCI5bSb5yA+Yzw+Yy88DYKA46Kd6bCi55a75IyS5aGy5r2D6bSX6baX5rWu5oC45L+V6Yi+5Ze+5b6F6JiK5qui6J2c5pyW5Zee5oy8746Q5Yu55KGg5pS/6IeB5baU5rCI5aW75ICJ5oy876Wd5re16Ia65Kek5ZGP5YiE5o675Lqh6YSa57ml5YCd54+a6Y+D5b2l5aa65bqw5YSa55yF56+f5oa95CA+Yzw+Yy88DYKA452755KL5qqk5Ymc5qGy5r2D6bml5Yy877m+6Jeq54Sa57e15qek5YGn6Iuc572D6LCI5Yy877m+6Iyh5rCI5Yq45Iq65Y675Iy877WY5rK65L+K5b+n5YSa57eg5oSQ5Y2n54SQ5aW75Lml5YCd54mL5pyF56+f5pO95Yy875e65ZKF6bCI5Z6b5Yq45JqZ5qW75ICJ5iA+Yzw+Yy88DYKA45Ct5aKd6YSa54uP5Yuc5rml5bO26Jm756a45Z6/6Ji/6Iy877ml5b6h6aeF54aI5YWF5YW75I245Iy877SH6Ia754yS5YO/5ZCA6ISa54mc5qqc5oCJ5o2J5Ya65LCO55Wx5Za75LWG5ZW95LSb5oy877q65ISa56mO56qZ6ZO95bSX6baX5rm06Kq15q+C6K+Y5o245JCt5aeA5qOC6ZyF56+f5qOn6Ia65Lml5Yy877uO5Y245I+E5oe/6LaE55O95Z2c5pyW5Zee5iA+Yzw+Yy88DYKA46Wd5pa75K+Y5r2D6b+E5Yu65ISa57GS6Y+O5puK5bqH5Yy874Sa552W5YSa54OQ5bC55J+Y6ZKO5oGA45e65a2l6aKu6IGA46il56iX6aKu6I2J5ZCP5oa95Iy874Cd54aR5bmW5rCc5aq45IC45Ia65L6J5rm+6K+36IWA6JaI5oy874Cd54mt54yH6aa96Kic5b2D6bSX6baX5pm95LaF5Yy877uO5YCd54GA6bGw5Za75IyH6aqT5buO5bSv6Kmt5bOl5aq45KS45Iy877qc5riP5aq45IC45JO95bCc5aO06L2w5YyB6L2w5bGw5ZyF56+f5iA+Yzw+Yy88DYKA46mO56ic5Z2c5pyW5Zee5oCd56qZ6Y+E5puy5pS55K+Y5r2D6bSX6baX5oaI5aiD6aek5Ya95Iy875+d5pO756u/5Ya65b2b5bCI5YaR5Zuy5bSQ56ic5bSb54C45Ky75Ja75Iy876mk5aCH5Zm/6ISa56Wd5ou45KWO5iA+Yzw+Yy88DS2dgOKCgOORiOaxiOeavOS9g+mcheevn+aMvO+IueSAu+SageWRiOahrueNuOSMvO+dnOacluWXnuavmOaRiOaBpuiqj+WPg+W9peWcgOIgPmM8PmMvPA2CgOOdr+ilj+WAuOSOkOWAnOaLuOS9kOi5peWMvO+euuW4hOionOWpkua7veiduOSRj+WMvO+8nOeAneevnOednOacluWXnuYgPmM8PmMvPA2CgOOCgOmSiOifnOeOo+mxseWEmuewj+WvmeaCp+ggPmM8PmMvPA2dgOKCgOOCseaBpuiIueSAu+SJnOahsuaxsOWlneaOu+SRiOa5r+WPg+W9peWWu+SMvO+XvuW+mumIvuWWu+ScgOIgPmM8PmMvPA2dgOKdgOKCgOOzhuWjp+iAuOSAuOS9g+mYoumul+mbuuSjgumEmueRmei+oemRiOaGsOWavOSYv+iMvO+NieWRkOWJi+aRiOaKiuaoiuW7uOSavOSFu+SNuOSWu+SMvO+2l+aMkOWEmuext+Wqh+iRiuaLjuWaruWzhuWAgOmOkOWhrOaAuOSPr+aRiOaonOWMvO+RiOajp+iGuuSIvuWWu+SCgOOxt+Wqh+iageWonOW0m+eAuOSfueSMvO++nea+lOaIvuWEmuefnOeRiOaNieWinemWu+SonOW6uOSgm+WvmOaMvO+cheevn+airOacluWavOSRiOalu+SAieacgOKMvO+0r+iht+aht+arneebleaMvO+EpOW4m+eEmuecheevn+aMkuWGuuSwiOWzg+adnOacluWXnuYgPmM8PmMvPA2CgOOdr+iem+WIueSOgOalr+iTgemln+eNuOS5gueJnOaMvO+Rj+W0pOWEmuext+Wqh+igjOaGuuSgjOa5peWMvO+tl+mGuuStl+m0t+W0mOWMvO+5peWAneeLnOewnOWepeaUgOaPhOabsuaUueQgPmM8PmMvPA2dgOKCgOOEmuevtOe5gueJnOavmOaXvuWJp+iRiOaMvO+8oOangOaNp+eZv+icgOKMvO+UsOajj+WGuuS5j+WdnOacluWXnuadgOKCgOO8oOa6uuSLnuW9peWorui5gueJnOaavOSfueSMvO+xt+Wqh+ifnea2lOaPhOa7iOWavOSlu+SAieaMvO+mg+e7uumQiOaggOm6uuS0m+WokeWZu+eDv+WFi+aonOW4uOW2l+a6uOSgm+WcgOIgPmM8PmMvPA2dgOKCgOOpruiNv+Wxt+Wqh+ipruivmOaEmuepi+aJgOmIheWWpumRiOaGveScgOKMvO+PhOabsuaUueSLnOe0pOWPgeWdnOacluWXnuadgOKCgOOEmuewiOWwieayueWrouiJnOafueSRiOaeruW2heWcgOIgPmM8PmMvPA2dgOKCgOO6nOazgOiKuOS0iOaxt+Wqh+iwnOWul+mNuOS7l+mNuOSvmOaxsOWVs+aageWEmueRiOaMgOiMvO+5peWShumQj+aoiuW7uOSMvO+lnea6h+WyruioiuW7uOSvmOaVs+aageWEmuesu+SgveSMvO+dr+i1lOeTieaLj+W3lOeNieW5peWZu+eYv+iGuuSvgeeEhueVmOaym+airOacluWNuOS9g+m2ruWnpOWMvO+Mh+mNiOi/ruWonOWPg+WxsOWcgOKMvO+Kh+mjp+i5peWZu+ewnOWfnOekruidnOacluWXnuYgPmM8PmMvPA2dgOKCgOOavOSRiOaGveScgOIgPmM8PmMvPA2dgOKCgOOxt+Wqh+iageWtuOSDouWvjueTveSGm+monOWwnOW9tOaqh+i0m+aavOSsu+SgveSMvO+Bp+iPhOaEmue6uuSWu+S2heWDgOiCj+WqpOWavOSNuOSMvO+Vs+aLnOeEmue6uuSriOWPhOaonOWqpOWavOSNuOSsu+SgveSMvO+lnea6h+WwjueVseWinemeruWfnOe8oOangOaKiuaOuuS/lemFk+asu+SgveSvmOaqj+WMvO+EpOW4m+e9peWNuOSEmuesu+SgveScgOKMvO+0r+itu+enu+eMvO+KjeWAuOS6h+WijuaTveSruuiKiuaYguiLieaAneeIseWMvO+2mOmAuOSEmueGneaPoOaKuOSpuOi5peUgPmM8PmMvPA2CgOOGuuSRrOednOacluWXnuYgPmM8PmMvPA2dgOKCgOOGuuSEmueEpOW4m+e9peWAnOainemMh+m6uuSquOSgh+WZv+isu+SRiOavmOavj+WgveSfvO+inemVs+efs+eJnOaYv+igveScgOKMvO+Tgem2ruiKg+aMvO+pguiEmue5peWKuOStkOaPhOabsuaUueQgPmM8PmMvPA2dgOKCgOOEmueinemVs+efs+eapOW6jOaJnOafueSRiOaTgemln+eRiOaGveSMvO+gm+WfjuWquOSZv+i6uOSgm+WvmOafueSLieaGiOWNieWLueSMvO+5lOaWu+Sprui4uOWPu+eMvO+8oOangOaEmueWu+S9p+aQkOW4uOWPu+eRiOaeruW2heWcgOIgPmM8PmMvPA2dgOKCgOOEmue9peWAnOavmOaWu+S6uOSgm+WvmOaNuOSMvO+Wu+SirOacluWavOSRiOacgOKMvO+0pOWHkeadnOacluWXnuYgPmM8PmMvPA2dgOKfvO+nkOWGuuS5vuiruuigveSonOW9g+mEmue9peWAnOaXvuWJp+ivmOaMvO+0m+eBk+mquOSPg+W9g+mMh+mhoOamreWonOWgveSqgOa+mumcgOKMvO+0r+iAneeRrOeMvO+5peWLnOeruuinvuSPhOabsuaUueQgPmM8PmMvPA2dgOKCgOO3u+SEr+iEmueYq+m9peWcgOIgPmM8PmMvPA2dgOKCgOOGuuS8nOelheWNhuWflOe3lOeEmueriOWJnOaavOS+mumIvuWfueSMvO+eruWuoeeMvO+OkOWLueScheevn+aGr+ikruiGveScgOKMvO+4hOiEmuext+Wqh+iTkOaGuuSTkOadnOacluWXnuadgOKCgOOcheevn+aquOSAuOSJnOaqj+WxsOWEmueAvuWkuuSJnOaMvO+RsOWIvuWfueSmp+iljuaEmueflOe3lOeMkuWMvO+Lj+WLnOangOaCvOWIueSAu+SJnOahsuaRiOacgOIgPmM8PmMvPA2dgOKCgOOGuuS5vuiruuiWu+SonOWfneaGoeacheevn+arouixsOWMvO+ZgOW2l+aEmueHpeW9peWJnOaflOe3lOeEmueokeWbm+W5r+WavOSaiOWaiOWMvO+Gr+iPhOaLgeapl+a5gueflOenuuSaiOWaiOWtuOSYq+monOWRiOaGveSMvO+Emue6uOSkruiIueSZv+ivmOafueSLp+WAvOWAuOSRiOacgOKMvO+0pOW5gueEpOWGneaPoOaonOWRkua5peWmreWfueSdnOacluWXnuYgPmM8PmMvPA2CgOO5vuiKuOSNuOSojOa9g+mhneahneavmOaEmueyrui5peWMkuWLnuW7seeNp+eZv+icheevn+aPg+UgPmM8PmMvPA2dgOKfvO+2qeeyruiqpOWriOWMvO+EmuePhOaPmumMvO+EmueMkuWyuuSMvO+EmueRrOexiOefvO+XkOWEmueLnuW7seeNp+ejgumlk+Wlk+WirOacluWgveS0r+ivmOaNuOSNieWLueSgveScgOKMvO+Gv+Wem+WKuOSGneaPoOaonOWRkuaPhOabsuaUueQgPmM8PmMvPA2CgOO5vuippOWonOW2u+W1u+eMvO+cv+ilgem3teanpOWMvO+kvueRree6u+W2oemiuuengOaXv+WHoOaEmuebsuW0kOewiOWBp+i9g+iLnOeLuOSAvuWMvO+Anee5kOWwnOWyseayseaOo+mxseUgPmM8PmMvPA2CgOOYoumdr+iquOSZv+i6ruiLnuW7seeGuuSwiOWKgeivmOaSgOWMvO+AneeKgeiAneeKgei6uuSquOSkuOSMvO+UreewnOW7veixsOWNh+m/gemdnOacluWXnuaMvO+EmueLieaGiOWIueSOgOaIj+WKuOSIsOiIueSOgOavmOacheevn+aMkuW5peWul+mMvO+LuuSEmuetuOSYq+mNieWlu+S5peWAneeul+m/iuW6oemPhOabsuaUueSMvO+EpOWGneaPoOawj+WvmeaCp+iwiOWlnea6uuSpv+QgPmM8PmMvPA2dgOKCgOO8gOmbieecgOIgPmM8PmMvPA2dgOKCgOOdr+i1lOeTieaRiOaZu+elnea6h+Wmuei2hOeBque9g+i9g+mMvO+GuuSwiOWLnOe/hOWqk+WOu+STgemln+eNuOSWu+SMvO+AneeKgeiOnue6uuSMkuW/vuSPmumxsOWKuOS6nOWNk+aonOWNieWlu+SRiOaMvO+gveSqgOaNuOScgOKavO+dnOacluWXnuYgPmM8PmMvPA2dgOKCgOOapeaapeaFuOaFuOaXvuWskOW9g+mWu+Swo+WPsOWIueSjgumLjuWRiOacgOKMvO+0r+izgOiRh+WMvO+QreWWhOiEmuednOacluWXnuaPveS9j+aPhOabsuaUueSdgOKCgOORiOaXvuWslOWcgOIgPmM8PmMvPA2CgOOikeWxseWnuuWAuOSUmukgPmM8PmMvPA2dgOKCgOO1geeIueSjgumfueSSgOW1nOazgOiWu+ScgOKMvO+LieaGkeaAneeRrOednOacluWXnuadgOKCgOOmleWavOSNuOScgOIgPmM8PmMvPA2dgOKfvO+nkOWwiOWskOW9g+iYv+iavOSNuOSLj+WLnOa3lOegveSMvO+dr+iEmue0r+ipv+SxkuWcgOKMvO+dnOacluWXnuaLnOewnOWLuOSLuOSKuOSKuOSIj+WMvO+Ur+aGuuSUr+aOkOWRkOWHjOaHi+anpOWPhOabsuaUueSMvO+wj+WvmeaCp+izh+ixseW7meevt+iAuOQgPmM8PmMvPA2CgOOwteiol+mxseWAvuWPhOabsuaUueSMkuWmveiLuOSMvO+IueSAu+S0r+iNhuWhsuadnOacluWXnuYgPmM8PmMvPA2CgOOGuuSapOWDv+WAvOWEmuepjue6uuSuuOWjgumCuOWsuuSft+iUr+aMvO++nea+lOaIj+WonOWqh+iXvuWKgeiKuOSMoeatpemonOWdnOacluWXnua6h+WLnOeWu+QgPmM8PmMvPA2CgOOppOWKgeipreWzpeWquOSkuOSwieaTieazg+aNuOSvmOaeruW2heUgPmM8PmMvPA2dgOKCgOOgveSJreeMh+mmveionOWRiOaMvO+nkOW7juWcgOKMvO+0pOWEmue5peWNi+aNi+awnOW8vOSpieegruWPsOWNi+alneaHv+iRh+WMvO+vl+Wvl+Wvl+WwnOWNoei3leaWu+SMvO+Wu+S9p+aQkOWmuOWoheWJruWAneejp+idnOacluWXnuYgPmM8PmMvPA2dgOKCgOOKleWDv+WQgOihsua9peWgveScgOIgPmM8PmMvPA2CgOO6uuSvmOa9g+m/hOWqk+W/hOWqk+WwteiMvO+mvei1oOWbuuSJnOa9g+mKuOSvt+iAuOSMvO+hu+axpem6jOWvmeYgPmM8PmMvPA2dgOKCgOOkjOazg+aNuOSMvO+GuuSapOWqpOW6uuScgOIgPmM8PmMvPA2dgOKfvO+XkOW7juWNuOSgveScgOKMvO+Wu+SLnOednOacluWXnuYgPmM8PmMvPA2CgOOmveiLuOSHpOWGh+WhsuaWu+SMvO+OkOWLueS5luawnOWwiOWAvOWcheevn+aMvO+sveisveixseW3j+Whv+S7juWdnOacluWXnuamuOWXrueTieaPhOabsuaUueSMvO+Vr+atpemwiOWssOW0sOUgPmM8PmMvPA2CgOOssOW0sOWXvuWDkOWPhOabsuaUueStpem6nOWZv+ggPmM8PmMvPA2CgOO9kOiNuOSXreWAuOSvmOaXvuWskOWdr+iEguaEguasqemls+aMvO+XkOWGuuSnjuaRm+eJruWKuOSruuiLj+WLnOazpeWWu+SBkOavmOa6uuSZv+ggPmM8PmMvPA2CgOOGp+i5r+W8gOm1h+adnOacluWXnuaMkuWMvO+UsOajj+WGuuS4kOWPhOabsuaUueQgPmM8PmMvPA2CgOONk+YgPmM8PmMvPA2dgOKfvO+WkuWpjueageWjoeaJjuaIueSOgOaMvO+YvOSvmOa9g+mnpOWwiOWPsOWOu+SMvO+nkOWShembv+ixueSNuOSfueSMvO+4nOmhoOaHv+iTveWhsuasu+Slk+WcgOKMvO+0r+i5peW5r+W0pOWsiuaQreWFpOagnemMg+iMvO+3juaAuOSMh+m2oea+nOWDnuWAvuWim+W4uue/hOWLuuSMruWMvO+HjOaLieaEmuext+Wqh+iti+amk+a0h+iGu+e4uuegvOWGuuS9iuacheevn+YgPmM8PmMvPA2dgOKCgOOEmueFuOasuuSsu+Slk+WcgOIgPmM8PmMvPA2dgOKfvO+EmuehoOamreWquOSqk+WgveSsu+Slk+WcgOKMvO+cheevn+aul+m0mOWSj+aoiuW7uOS5peWMvO+Cp+i5lOauvuWbuuSbuuSJnOahseiwjeWEmuecheevn+a5r+WMvO+Jgui+meiXoueAuOSjgumAneevm+ePhOabsuaUueQgPmM8PmMvPA2dgOKCgOOvkuWvmOaCpuanpOWcgOKMvO+dr+i0r+i5peWmreWcheevn+YgPmM8PmMvPA2dgOKfvO+vkuWgiuWCj+WBpuigveScgOKMvO+WpOWPhOaEmuePsOWPsOW5gueJnOadnOacluWXnuYgPmM8PmMvPA2dgOKCgOORiOaJnOaMh+mfmOmhoOaKseWAuOSZv+ihoOamreWsu+SRiOacgOKMvO+0r+itu+enu+eXpeWLieaGuuSYkeaNieaMvO+NieWinemdnOacluWXnuawiOWojuaXoueGsOWYguiLieaolOeWu+SMvO+Jgui+meiXoueKjeWPsOWAneeFo+iPu+eyt+WMh+mXoue6qeeEmue5vuiBl+aMvO++meinpOWbsuW0kOelieWXpeWLieaAnee0iOajreacheevn+YgPmM8PmMvPA2CgOOcheevn+aLnOe7juW0pOWsveiMvO+jhOaGuuSjhOa2l+aFuOasuuSwiOWskOW5peUgPmM8PmMvPA2dgOKCgOOnkOWEmuemleWnkOWmleWnkOWbuuSZv+iqiOisuuSMvO+TveSsuuSMvO+XjOWsuuSMvO+FuOasuuSJnOaTgemln+exsOWRiOaEmueCuOWsuuSonOWcgOKavO+PhOabsuaUueQgPmM8PmMvPA2dgOKfvO+AkeWhoOamreWbuuSqk+WJnOa9g+mEmue6jOWbteiXjOWcuOScgOKavO+ul+mvmOaSgOWMvO+PhOaonOWqpOWhsuafueSdnOacluWXnuYgPmM8PmMvPA2CgOOEmueWvOeHh+m7juW5peW+tOaBpuivmOafueShruiwvOSMvO+5vui+suaNuOSrr+aKuOSimemsu+S5peWft+iVgOaqk+WMvO+bteiUgeiDkOeur+eflOemreWnpOWNp+eZv+ggPmM8PmMvPA2CgOOKuOS3j+WXvOSsheWonOWwlua0m+a/qOeft+i/ruiHh+mBpui9g+mppOWPr+asnOa6n+WoiuW7tOaPsOWnpOWEmueKuOSimemKuOS7s+eMvO+Dv+WtuOSTveSSquWNnuiAuOSAneehrueYv+iLuOSLieaol+mog+mEmuelheWgiuWdnOacluWXnuYgPmM8PmMvPA2dgOKCgOObkeWfpOWgveSXvuW+heiYiuaxsOWoiuW7tOaGuuW9m+WjgumgveScgOIgPmM8