类型论（1 / 2）
PmMvPA2dgOKCgOOGuuS6nOWwjueft+i7juWgveSpruiXvuWIj+WZgOW2l+awiOWAneeoo+eikOeRiOaMvO+/lemog+msu+SgveSul+mul+m7juWlu+Svj+WgveScgOKMvO+0r+iAneeljuaOkOWjj+WAuOSGuuSdluWMvO+ShemkleWTieaKjeWGuuSlneaxt+Wqh+iZu+eYkeWhiuWNnOa8keWbi+aPhOabsuaUueQgPmM8PmMvPA2dgOKCgOOUr+ahoOamreWsu+SRiOaonOW9g+mlr+iUuuWEmue6jOWbteiXjOWcuOSMvO+Emue0r+iQp+WmreWAuOSskOWRiOacgOKavO+PhOabsuaUueQgPmM8PmMvPA2dgOKfvO+XkOWvmOacgOKavO+dnOacluWXnuYgPmM8PmMvPA2dgOKfvO+XkOWGuuShoOamreWsu+SRiOaonOWJgOmwnOW6nOWeiuW7uOSEmuebteiUgeiDkOeur+eflOemreWnpOWTgemln+egveSMvO+dnOacgOKavO+Youmdr+iHiOWNhuWPhOabsuaUueQgPmM8PmMvPA2dgOKCgOOimeWcgOIgPmM8PmMvPA2dgOKCgOOikeWmveiAvOWcgOKMvO+lj+WGuuSem+WwnOW0pOWsiuahsuaMvO+XpeWLieangOahrOaAuOSEmueKuOSMoea0iOaxt+Wqh+iZu+eonOWjreacheevn+YgPmM8PmMvPA2dgOKfvO+XkOWdluWgveScgOKMvO+cheevn+aul+m0pOWHkea5peWMvO+dluWzg+aqpOWNuOSdnOacluWXnuaEmueIjeWtuOSnpOUgPmM8PmMvPA2dgOKCgOO6uuSJhumNuOSMvO+Emue9iOeFuOa6jOazkeWjj+WMvO+ShemkleWEmue/hOWZv+isu+SRiOadsOWdsOWBpuiNuOSBpuigveScgOKMvO+Youmdr+iHiOWSp+ePhOabsuaUueQgPmM8PmMvPA2CgOOGuuSnuuWem+Wcheevn+aMvO+0l+mRrOe0r+ggPmM8PmMvPA2dgOKCgOO5r+W7meeMvO+EmuetkOa6jOafueSpv+SgveSHv+iNuOScgOIgPmM8PmMvPA2CgOOwoueGuuSwoueEmuednOacluWXnuaMkuWPm+evnea0sOa2jOiEmuext+Wqh+iAneeojua5peUgPmM8PmMvPA2dgOKCgOOngOableaFhuWEmueHluaHluavluavluaNp+ejgumxsOWMvO+EmueZnemHluairOacluWgveS6uOSlu+SRiOaBpui7uOScgOIgPmM8PmMvPA2dgOKCgOO7juWMh+mDv+WAvuWriOWgveSMvO+EmuepjueAnee0r+iMvO+GuuSgvOW4pOWRiOacgOKavO+RrOefueSPhOabsuaUueQgPmM8PmMvPA2CgOOhjeW6uuS9peWRj+Wcheevn+aZu+eljua0m+e9g+msiOiAuOSdnOacluWXnuaMvO+2l+acheevn+aNu+eLu+SIueSOgOaTgemln+eNuOS5peWTveUgPmM8PmMvPA2dgOKCgOOEmue9peW6jOa6uuSeruW2heWWu+ScgOKMvO+0r+iNieaOkOWwo+Wgh+WGuuSRrOeMvO+RrOePveSNuOSNv+WKtuizg+aKtuiMvO+dr+iEmuePhOabsuaUueSzkeWem+WQreW3reeAneeskuW5peUgPmM8PmMvPA2CgOOdgOaPhOaIueSAu+S5peW9meeOmOa9g+iCpuanpOWfueSGveSMvO+Mh+m+m+mMh+mRuuSEmueskOWdnOacluWXnuYgPmM8PmMvPA2CgOOpreW3lOe9peWquueWuOSwluaUgOKUgOKEmuexiOeLgeaIsOipreWzpeWNp+eZv+idnOacluWXnuaft+iIkOWCgOmMvO+EmuetuOSln+ekruiPhOabsuaUueSPg+WNuOSxsOWLj+WLnOa3lOe5peWMvO+LueS9lOilu+SAqOiAuOQgPmM8PmMvPA2dgOKCgOOWkuWpjueMvO+Np+ejgumEmueShemaiOWWu+Sft+iLj+WAseWquOQwOLCI5YeB6bGw5bqc5Zyk5bCI5YC45Ia95Iy876eQ5ZKF6buO5Y245KWd5o675Ja75LSv6Kmt5bOl5Z+36I+D5Yi+5Yy875Ct5bSk5bic6aGg5oSa54Sn6KGg5qq656Gg5qGd5jAwMY2P5Z2/6Jq85K245Jir6Y+D5Yi+5aWd5re16Iuc54uP5Yuc5reU56C95JyA4oy877Sv6KC85bik5aWd5oe/6LSk5aKO5oSk5ZCt5YWk5oSa57G35aqH6I675Iy874a65K+D5oC+5bSb56Wd5rSb54+E5puy5pS55CA+Yzw+Yy88DYKA47Sk5bmC54y877ya5bya5bya5YyH6bS35bSY5Z2c5pyW5Zee5iA+Yzw+Yy88DZ2A4p+874iT5YSa54e/6Iiw6K245Jir6a+Y5qm/5KC95JyA4pq874+E5puy5pS55CA+Yzw+Yy88DZ2A4oKA47Sv6KC95JyA4iA+Yzw+Yy88DZ2A4p+875eQ5Z2v6J6u5aWP5bSv6KW75K+P5ZGI5pyA4iA+Yzw+Yy88DZ2A4p+876+X5ZyA4iA+Yzw+Yy88DZ2A4oKA452c5pyA4pq877ml5YqW5YG45I245LeG5YiP5Y+E5puy5pS55CA+Yzw+Yy88DYKA44a65L2l5YyS5YiP5aic5bCO54y874Sa54e/6Iiw6K245Jir6a+Y5qWP5Ya65LSv6JWN5YCu56qP5Z+55JqZ5qiY5oy875C65oq45oSa55yF56+f5oyS5Ye/6LKu6Ia754uP5aSu5YSa56at5aek5YyS5aGy5rml5Yy877aE57uC5ruC5pu65Imc5oq45LiE6Iy8762l6YCd57ya5Z2c5pyW5Zee5iA+Yzw+Yy88DZ2A4oKA44a65J+G57yc56qk5ZyA4oy8752A5omy5oq45IWk5oyD6Kic5YKH6LGK5o+E5puy5pS55CA+Yzw+Yy88DYKA44Sa54e/6Lqu6Kiu6Ie/6IGn6K+Y5r2D6ZmU6bOY6a635bSY6bq65KCH5Yy876mk5aOC6bqc5bCO54eR5o6Q5ayQ5buO5Yy876mk5aOC6a2l6YOQ5bev6L2z5paC6CA+Yzw+Yy88DYKA44a65Imc5raE55O95SA+Yzw+Yy88DZ2A4oKA46eQ5Ymc5qGy5pyA4oy877Sk5YeR5pud57yc56ek5YGd54Co6LuX6Yy8762l6Z6N5qCC6Le15rqL5YC45ICd54CI6LCc5Z6Q5Z6Q5aKF5oyH6Zei54675KOt5p2c5pyW5Zee5iA+Yzw+Yy88DZ2A4p+874qV5Ye/6IGn6L+E5aqT5aic5a+Y5o245K+Y5qy75JGI5oy874qV5Z+G57yc572l5YuP5Yuc5reU56C95JyA4oy8766X6bCj5YC45Ia65LaY5Yy877G95YyD6ISa55yF56+f5oCd54+H6ZOJ5o+E5puy5pS55Iy874C85bum54C45Lq65LCI5Ymt5yA+Yzw+Yy88DYKA44a65LSX6YuJ5pe05ruO5au66Le16I2c5qOh6Ia65L6U5oy876yQ5YGX5rCc5bCj5Zy95I245Ji76bm+6IC45Kic5ZyF56+f5oy876Wd5oq45Iq45LCc5a27562754aZ6YaZ6ZyP6Iy877SX6Z+c5pm/6CA+Yzw+Yy88DYKA47yv5ZGQ5ZO95bml5YGm6ICc6Y245ICc6Yy874yH6aqT5buO5bOD5qmk5aCH5aKd6Y6Q5Yy874a65KmO57+E5aqT5buO5Y2J5Yu55Lq65K6X6YiP5Yy875OB6bOR5YyS5Y+85ZyP6I2754u75LCc5ZOB6YC45JOB6YC45J2c5pyW5Zee5p+36Lml5Yy8752A5o+E5oSa56O26LSF5Z+E5qaN5auF5buO5ZWK5qGy5p+55JKA5Yy876e65b2Q6J2c5pyW5Zee5oCd54mL5oy876iX5Z+55Lml5SA+Yzw+Yy88DYKA46iX5bSv6LSk5bmC57mC54y875u65Ia65I+756Ot5pCd5Y2o542o556b5Zm/6JyF56+f5oy877+654an6Iq45Lmv5Yy65Lq65Km/5CA+Yzw+Yy88DZ2A4oKA44+E5puy5pS55Iy877iR5biR5auP5bml5ZyA4oy874+E5puy5pS55IeM5oa65IeM5pyF56+f5oCd55GQ5YiP5SA+Yzw+Yy88DZ2A4oKA45yF56+f5pyA4oy8742754u75Lml5Z+36I6Q5au66ICd54eM5ouJ5p2c5pyW5Zee5iA+Yzw+Yy88DYKA44aI5ZS65Ia65LaU5p6b5bGw5ayp6Yur57mu5ZGs54aI5auF5YSa57ml5SA+Yzw+Yy88DYKA46Ku5ZO95aqk5bG35aqH6IqK5qGy5oy877eg5oC45Lqc5bu45ISa55a75K+Y5r+E5Zm/6J+36Iy876e65b2Q6LCc5by85LeI56ek5Ya95Iy874W45a+Y5oW45SA+Yzw+Yy88DYKA44Sa56mO5q6B6Y245Ii55Jm/6ImF5a6b57q65J+U54yZ6Ymc5rCI5Yuc55Gw5b6Y5o+E5puy5pS55CA+Yzw+Yy88DYKA47ml5Y+H6ZOJ5rCc5bSb57Sb54y874Sa57mv5SA+Yzw+Yy88DYKA47ml5Y+H6ZOJ5rCc5Za16IqB6KCX5r6Z54uJ5raJ5qic5ZGS5ouJ5oy874q45L+F6Kic5YGQ5pel5Zak5Yy8746Q5ae65b2Q6Iy877C16Iq45IWk5qe65Z2c5rm+6Jel5Zak5YCd56On6Lm+6Ja75CA+Yzw+Yy88DYKA45am6ZSi6bml5bKG5bCc5beg5oWD5qih6Ii55IC75KGy5pyF56+f5oy874q45Lmv5b+654an6CA+Yzw+Yy88DYKA45yF56+f5oSa57q65Km/5ICd54uc54qB6KCX5riE6IC45LCI5Yuc57Gw5Yy877Sk5ayK5rCc5bWR5ZC55I+E5puy5pS55CA+Yzw+Yy88DYKA44yD6I6Q5Y2L5oa65I2L5pC96ZC96YCd57GK5rq65Kq45KS45Iy877ml5YKQ5p6b5ZuK5aiU57Cc5bSF5Zir6Z+55Lml5Yy874+m57i55ZO95bib55e+5beX6Yy8742J5biD6Kic5beX6ae0542u57ml5aui6Iy877Sk5YC45Lml5a6f57Gw5ayc5p2c5pyW5Zee5iA+Yzw+Yy88DZ2A4oKA47GI55+c54y875GI5r6J5qWd5py/6Ii55Jm/6JG36LaE54Wx5aC95JyA4iA+Yzw+Yy88DZ2A4oKA452c5oy874a65JGI5rut5qiK5Z+E5pyA4oy877GK5qWL5qek5YC45J2c5pyW5Zee5oa65Jm756u66Le16Jmr54y874WD5qih6ISa54u75ou75o6+57qH5bKc6Yq45LiE6Iy872xlYmdwdmmEmueuuuSNk+Wwo+WAuOS6h+WgvOS9peWaiOWMh+m6nOaLieaPhOabsuaUueSMvO+ZgOW2l+aEmue7juWHv+ignem6uuSpv+QgPmM8PmMvPA2CgOO/hOWavOSAuOSGuuSJree5peWMvO+mveicgeWuveeNveS+ieaonOWYv+icheevn+aMvO+LnOeAuOS0pOWsveiMvO+ljOaGuuSljOa5peWdnOafueSdnOacluWXnuYgPmM8PmMvPA2CgOOeo+mxueSHjOaLiea7juWLuOSQneWtv+iNuOSZv+WIj+WMvO+LieaLuOSGuuSljOawnOWYq+mYq+mIheWMvO+GuuSlneaHv+iwteiwnOWcv+icv+idnOacluWXnuawjueRj+W0pOWsiuaAuOSZveSLueSZv+W+mee5peWMvO+Ig+eAv+ajrea1huWYiOaKuOSinemMleeMvO+KjeWAuOSwiOWKuOSaiOWcj+iMvO+lnea6uuSJreePiOa4uOaAseWGuuSAvOWao+appOWynOmonOWPhOabsuaUueQgPmM8PmMvPA2CgOORv+iEmem2ruWxt+Wqh+ionOWmuuexsOWMvO+6jOWpv+SjgumEmueGoOWOieairuW4uOaAvOW/gemPhOa5iee5guewnOWQpOmxsOWMvO+lt+WgiuW6uuS+ieaGpumQpOm7juWsi+eVjeWIj+WMvO+Emue9peWGuuSRjOa6nOWCuOW7juWIpuW5peWpruixsOW5peWpl+aAuOSppOWMuuSsrOcgPmM8PmMvPA2CgOOpq+WcsumIj+WOvuelguicsum3teaMvO+InOaquOSkuOS3teaAvOWbsuW0kOevmOa9peWaiOW0l+m2l+aquOSZv+ggPmM8PmMvPA2CgOOGuuSlpuWzqOe+oemnhee6uuSZu+eBpui2hOeqh+iMvO+Emue7uOSTgemcuOSTveWquOSZv+i5peWMvO+dgOaPhOafpOWfnOevj+WdnOacluWXnuaXvuWJp+iPhOabsuaUueSMvO+5peW+iealneabsuW0kOelneaxsOW7s+ezheWkruiuoeeAuOQgPmM8PmMvPA2CgOOGuuSkruiuoeevmOaxsOWAneeoo+eikOeMvO+GuuSbsuW0kOelnea3teiAuOS9g+mMvO+GuuSkrui/ieaoiuW7uOS9g+mMvO+1huWFg+aZv+ionOWwjueLnOeGveQgPmM8PmMvPA2CgOOkrui/ieaPhOa/hOaNuOSMvO+Nr+i2heWBg+eql+mavOSNiea6uuSlu+SAieaMvO+JkumJkumKuOS/neahsuaYv+i7s+ezheWMvO+fnOanmOanmuaEmuednOacluWXnuavmOajreaavOSjgumLteacjOesu+S5peW2l+a8veWGveQgPmM8PmMvPA2CgOOavOSmuueBueeRoumLp+WAvOW0jeWfnOafmOaquOSkuOSZv+iMvO+oiuW7tOa6h+WWpOWIueSAu+SJnOaavOSRsOWcsumYqOWRp+WZv+iMvO+wiOWcjOe9g+iRsOWRsOWapOWapOW6uuSEmueMh+mNiOi/ruWMvO+LuuSZv+ihsei5r+WJnOadnOacluWXnuaeruW2heUgPmM8PmMvPA2CgOO2ruiKg+aqpOWhsuafueSSgOWPhOabsuaUueSEmuevq+ejgumVueWPseUgPmM8PmMvPA2mgOKmgOIgPmM8PmMvPA2RgOOLj+WLnOa3lOeJnOaYv+iQgOMgPmM8PmMvPA2MvO+LuOSTieaGoeaBgOmRj+WonOWNieaZv+iMvO+0pOWVnuaem+W6uuiUsOaEs+adnOacluWXnuYgPmM8PmMvPA2CgOOZnemJruWMleeWuOSMvO+GuuShsuaVuuW7veWzn+mwo+WMvO+qleUgPmM8PmMvPA2CgOOOkOWLueSMsOeMsOeJguaJgua1mOmAuOQgPmM8PmMvPA2dgOKBvO+BvO+6nOazgOi0iOacgOKMvO+lnea3teiQneWroui7v+ednOacluWXnuYgPmM8PmMvPA2dgOKfvO+KleWcgOIgPmM8PmMvPA2dgOKfvO+AkeW6nOazgOi0iOa9g+iNuOS9g+igveScgOKavO+ul+mPh+mzn+mYq+mQj+atu+enu+eMvO+1nOazgOisveiGuuSsveiHjOaLieaolOe5peUgPmM8PmMvPA2CgOOdgOKKleWcgOKEmuesieaKuOSSh+aSh+awo+WAuOSlneagvOSWpOW0l+m/iOYgPmM8PmMvPA2dgOKBvO+cheevn+acgOKMvO+KluWtu+enu+ePh+mzn+mYq+mQj+a5peWMvO+UuuW6uuShsuawo+WAuOSsrOcgPmM8PmMvPA2dgOKCgOOcheevn+acgOKMvO+KluWinemWpOWyhuW6nOaLieaLuOSBkOaMvO+UsOajj+WGuuS5j+W5peUgPmM8PmMvPA2CgOOwo+WQueSzn+mEmuelneabv+iEs+aWpOWwiOWskOW9g+ivmOaYv+iMvO+2oem0pOWzh+iJi+aQreWrouiMvO+Ym+eulOmonOW/oemHjOaLieaEmuednOacluWXnuYgPmM8PmMvPA2RgOOfvO+XkOWlnea6uuSquOSAuOSxt+Wqh+ivmOagveSlu+SAieaQgOMgPmM8PmMvPA2CgOOvgeaItuaEmuelneaHv+iem+WPhOabsuaUueSwiOW2lOawiOW0m+eMvO+7juWGpuilnea7v+eKuOS0pOWVnuaonOWMvO+hneelheWVs+agl+aXvuW1kOWrouifueSol+m0l+m/iOaKuOSzheW5peWMvO+5l+mot+WNk+Wot+WXvuWJi+aNk+Wzn+mlu+SAieaMvO+9peW5ieeFg+aDv+WMvO+BoOeju+SyleaTuOSwluaEmudzYYCd576U5oyH6YWO5aKu5YSa57+I5pel5aic5ZyF56+f5iA+Yzw+Yy88DYKA46Gd54ye57e16JOJ5oiP5bCc5auD5rKW54yH6ZCt5aui6Kic5am857q65Kq45LSV5oy874u65KeA5oyu5Z+d5pO755yF56+f5oyS5ZqI5bml5Zq85KOC6SA+Yzw+Yy88DYKA462l6Ya65Iq45Ka654+E5puy5pS55IyS5Y665Ii7552c5pyW5Zee5oy876mk5Ym45Kys54a65b2b5SA+Yzw=