{"id":187272,"date":"2013-07-25T10:47:02","date_gmt":"2013-07-25T06:47:02","guid":{"rendered":"http:\/\/savepearlharbor.com\/?p=187272"},"modified":"-0001-11-30T00:00:00","modified_gmt":"-0001-11-29T21:00:00","slug":"","status":"publish","type":"post","link":"https:\/\/savepearlharbor.com\/?p=187272","title":{"rendered":"<span class=\"post_title\">\u0421\u0435\u043c\u044c\u0438 \u0442\u0438\u043f\u043e\u0432 \u0438 \u041f\u043e\u043a\u0435\u043c\u043e\u043d\u044b<\/span>"},"content":{"rendered":"<div class=\"content html_format\">\n<h4>\u041f\u0440\u0435\u0434\u0438\u0441\u043b\u043e\u0432\u0438\u0435<\/h4>\n<p>  \u041a\u043e\u0433\u0434\u0430 \u044f \u043d\u0430\u0447\u0430\u043b \u0438\u0437\u0443\u0447\u0430\u0442\u044c \u0425\u0430\u0441\u043a\u0435\u043b\u044c, \u044f \u0431\u044b\u043b \u043f\u043e\u0447\u0442\u0438 \u0441\u0440\u0430\u0437\u0443 \u043f\u043e\u0440\u0430\u0436\u0451\u043d. \u0414\u043b\u044f \u043d\u0430\u0447\u0430\u043b\u0430, \u043d\u044b\u0440\u043d\u0443\u0432 \u0441 \u0433\u043e\u043b\u043e\u0432\u043e\u0439 \u0432 \u0430\u043a\u0442\u0443\u0430\u043b\u044c\u043d\u044b\u0435 \u0440\u0430\u0431\u043e\u0447\u0438\u0435 \u043f\u0440\u043e\u0435\u043a\u0442\u044b, \u043e\u0442\u043a\u0440\u044b\u043b, \u0447\u0442\u043e \u0431\u043e\u043b\u044c\u0448\u0438\u043d\u0441\u0442\u0432\u043e \u043d\u0430\u0441\u0442\u043e\u044f\u0449\u0438\u0445 \u0431\u0438\u0431\u043b\u0438\u043e\u0442\u0435\u043a \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u044e\u0442 \u044f\u0437\u044b\u043a\u043e\u0432\u044b\u0435 \u0440\u0430\u0441\u0448\u0438\u0440\u0435\u043d\u0438\u044f, \u043f\u0440\u0438\u0441\u0443\u0442\u0441\u0442\u0432\u0443\u044e\u0449\u0438\u0435 \u0442\u043e\u043b\u044c\u043a\u043e \u0432 GHC (Glasgow Haskell Compiler). \u042d\u0442\u043e \u043c\u0435\u043d\u044f \u043f\u043e\u043a\u043e\u0440\u043e\u0431\u0438\u043b\u043e \u0441\u043b\u0435\u0433\u043a\u0430, \u043f\u0440\u0435\u0436\u0434\u0435 \u0432\u0441\u0435\u0433\u043e \u043f\u043e\u0442\u043e\u043c\u0443, \u043a\u0442\u043e \u0437\u0430\u0445\u043e\u0447\u0435\u0442 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c \u044f\u0437\u044b\u043a \u043d\u0430\u0441\u0442\u043e\u043b\u044c\u043a\u043e \u043d\u0435\u043c\u043e\u0449\u043d\u044b\u0439, \u0447\u0442\u043e \u0431\u0443\u0434\u0435\u0442 \u043d\u0435\u043e\u0431\u0445\u043e\u0434\u0438\u043c\u043e \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c \u0440\u0430\u0441\u0448\u0438\u0440\u0435\u043d\u0438\u044f, \u043f\u0440\u0438\u0441\u0443\u0442\u0441\u0442\u0432\u0443\u044e\u0449\u0438\u0435 \u043b\u0438\u0448\u044c \u0443 \u043e\u0434\u043d\u043e\u0433\u043e \u043f\u043e\u0441\u0442\u0430\u0432\u0449\u0438\u043a\u0430. \u0412\u0435\u0434\u044c \u0442\u0430\u043a?<br \/>  \u0425\u043e\u0440\u043e\u0448\u043e, \u044f \u0440\u0435\u0448\u0438\u043b\u0441\u044f \u0441\u043d\u043e\u0432\u0430 \u044d\u0442\u043e \u043e\u0441\u0438\u043b\u0438\u0442\u044c \u0438 \u0443\u0437\u043d\u0430\u0442\u044c \u0432\u0441\u0451 \u043e\u0431 \u044d\u0442\u0438\u0445 \u0440\u0430\u0441\u0448\u0438\u0440\u0435\u043d\u0438\u044f\u0445, \u0438 \u044f \u0432\u044b\u0432\u0435\u043b \u0442\u0440\u0438 \u0433\u043e\u0440\u044f\u0447\u0438\u0445 \u0442\u043e\u043f\u0438\u043a\u0430 \u0434\u043b\u044f \u043e\u0431\u0449\u0435\u0441\u0442\u0432\u0430 \u0425\u0430\u0441\u043a\u0435\u043b\u044f, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u0440\u0435\u0448\u0430\u043b\u0438 \u043f\u043e\u0445\u043e\u0436\u0438\u0435 \u043f\u0440\u043e\u0431\u043b\u0435\u043c\u044b: \u041e\u0431\u043e\u0431\u0449\u0451\u043d\u043d\u044b\u0435 \u0410\u043b\u0433\u0435\u0431\u0440\u0430\u0438\u0447\u0435\u0441\u043a\u0438\u0435 \u0422\u0438\u043f\u044b \u0414\u0430\u043d\u043d\u044b\u0445, \u0421\u0435\u043c\u044c\u0438 \u0422\u0438\u043f\u043e\u0432 \u0438 \u0424\u0443\u043d\u043a\u0446\u0438\u043e\u043d\u0430\u043b\u044c\u043d\u044b\u0435 \u0417\u0430\u0432\u0438\u0441\u0438\u043c\u043e\u0441\u0442\u0438. \u041f\u044b\u0442\u0430\u044f\u0441\u044c \u043d\u0430\u0439\u0442\u0438 \u0440\u0435\u0441\u0443\u0440\u0441\u044b, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u043e\u0431\u0443\u0447\u0430\u044e\u0442 \u043e \u043d\u0438\u0445, \u044f \u0441\u043c\u043e\u0433 \u043d\u0430\u0439\u0442\u0438 \u0442\u043e\u043b\u044c\u043a\u043e \u0441\u0442\u0430\u0442\u044c\u0438, \u043e\u043f\u0438\u0441\u044b\u0432\u0430\u044e\u0449\u0438\u0435, \u0447\u0442\u043e \u044d\u0442\u043e \u0442\u0430\u043a\u043e\u0435, \u0438 \u043a\u0430\u043a \u0438\u0445 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c. \u041d\u043e \u043d\u0438\u043a\u0442\u043e, \u043d\u0430 \u0441\u0430\u043c\u043e\u043c \u0434\u0435\u043b\u0435, \u043d\u0435 \u043e\u0431\u044a\u044f\u0441\u043d\u044f\u043b \u0437\u0430\u0447\u0435\u043c \u043e\u043d\u0438 \u043d\u0443\u0436\u043d\u044b!.. \u041f\u043e\u044d\u0442\u043e\u043c\u0443 \u044f \u0440\u0435\u0448\u0438\u043b \u043d\u0430\u043f\u0438\u0441\u0430\u0442\u044c \u044d\u0442\u0443 \u0441\u0442\u0430\u0442\u044c\u044e, \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u044f \u0434\u0440\u0443\u0436\u0435\u0441\u0442\u0432\u0435\u043d\u043d\u044b\u0439 \u043f\u0440\u0438\u043c\u0435\u0440, \u043f\u044b\u0442\u0430\u044f\u0441\u044c \u043e\u0431\u044a\u044f\u0441\u043d\u0438\u0442\u044c \u0437\u0430\u0447\u0435\u043c \u0432\u0441\u0451-\u0442\u0430\u043a\u0438 \u043d\u0443\u0436\u043d\u044b \u0421\u0435\u043c\u044c\u0438 \u0422\u0438\u043f\u043e\u0432.<\/p>\n<p>  <img decoding=\"async\" src=\"http:\/\/habrastorage.org\/storage2\/989\/946\/059\/9899460598e394cb692d0c1bd0051b10.jpg\"\/><\/p>\n<p>  \u0412\u044b \u043a\u043e\u0433\u0434\u0430-\u043d\u0438\u0431\u0443\u0434\u044c \u0441\u043b\u044b\u0448\u0430\u043b\u0438 \u043f\u0440\u043e \u041f\u043e\u043a\u0435\u043c\u043e\u043d\u043e\u0432? \u042d\u0442\u043e \u0437\u0430\u043c\u0435\u0447\u0430\u0442\u0435\u043b\u044c\u043d\u044b\u0435 \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u0430, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u043d\u0430\u0441\u0435\u043b\u044f\u044e\u0442 \u041c\u0438\u0440 \u041f\u043e\u043a\u0435\u043c\u043e\u043d\u043e\u0432. \u0412\u044b \u043c\u043e\u0436\u0435\u0442\u0435 \u0441\u0447\u0438\u0442\u0430\u0442\u044c, \u0447\u0442\u043e \u043e\u043d\u0438 \u043a\u0430\u043a \u0436\u0438\u0432\u043e\u0442\u043d\u044b\u0435 \u0441 \u044d\u043a\u0441\u0442\u0440\u0430\u043e\u0440\u0434\u0438\u043d\u0430\u0440\u043d\u044b\u043c\u0438 \u0441\u043f\u043e\u0441\u043e\u0431\u043d\u043e\u0441\u0442\u044f\u043c\u0438. \u0412\u0441\u0435 \u043f\u043e\u043a\u0435\u043c\u043e\u043d\u044b \u0432\u043b\u0430\u0434\u0435\u044e\u0442 \u0441\u0442\u0438\u0445\u0438\u0435\u0439, \u0438 \u0432\u0441\u0435 \u0438\u0445 \u0432\u043e\u0437\u043c\u043e\u0436\u043d\u043e\u0441\u0442\u0438 \u0437\u0430\u0432\u0438\u0441\u044f\u0442 \u043e\u0442 \u044d\u0442\u043e\u0439 \u0441\u0442\u0438\u0445\u0438\u0438. \u041d\u0430\u043f\u0440\u0438\u043c\u0435\u0440, \u043f\u043e\u043a\u0435\u043c\u043e\u043d \u041e\u0433\u043d\u0435\u043d\u043d\u043e\u0439 \u0441\u0442\u0438\u0445\u0438\u0438 \u043c\u043e\u0436\u0435\u0442 \u0434\u044b\u0448\u0430\u0442\u044c \u043e\u0433\u043d\u0451\u043c, \u0432 \u0442\u043e \u0432\u0440\u0435\u043c\u044f \u043a\u0430\u043a \u043f\u043e\u043a\u0435\u043c\u043e\u043d \u0412\u043e\u0434\u043d\u043e\u0439 \u0441\u0442\u0438\u0445\u0438\u0438 \u043c\u043e\u0436\u0435\u0442 \u0431\u0440\u044b\u0437\u0433\u0430\u0442\u044c \u0441\u0442\u0440\u0443\u044f\u043c\u0438 \u0432\u043e\u0434\u044b.<br \/>  \u041f\u043e\u043a\u0435\u043c\u043e\u043d\u044b \u043f\u0440\u0438\u043d\u0430\u0434\u043b\u0435\u0436\u0430\u0442 \u043b\u044e\u0434\u044f\u043c, \u0438 \u0438\u0445 \u0441\u043f\u0435\u0446\u0438\u0430\u043b\u044c\u043d\u044b\u0435 \u0441\u043f\u043e\u0441\u043e\u0431\u043d\u043e\u0441\u0442\u0438 \u043c\u043e\u0433\u0443\u0442 \u0431\u044b\u0442\u044c \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u043d\u044b \u0432\u043e \u0431\u043b\u0430\u0433\u043e \u0434\u043b\u044f \u043f\u0440\u043e\u0434\u0443\u043a\u0442\u0438\u0432\u043d\u043e\u0439 \u0434\u0435\u044f\u0442\u0435\u043b\u044c\u043d\u043e\u0441\u0442\u0438, \u043d\u043e \u043d\u0435\u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u043b\u044e\u0434\u0438 \u0432\u0441\u0435\u0433\u043e \u043b\u0438\u0448\u044c \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u044e\u0442 \u0441\u0432\u043e\u0438\u0445 \u043f\u043e\u043a\u0435\u043c\u043e\u043d\u043e\u0432 \u0434\u043b\u044f \u0431\u043e\u0440\u044c\u0431\u044b \u0441 \u0434\u0440\u0443\u0433\u0438\u043c\u0438 \u043f\u043e\u043a\u0435\u043c\u043e\u043d\u0430\u043c\u0438 \u0434\u0440\u0443\u0433\u0438\u0445 \u043b\u044e\u0434\u0435\u0439. \u042d\u0442\u0438 \u043b\u044e\u0434\u0438 \u043d\u0430\u0437\u044b\u0432\u0430\u044e\u0442 \u0441\u0435\u0431\u044f \u0422\u0440\u0435\u043d\u0435\u0440\u0430\u043c\u0438 \u041f\u043e\u043a\u0435\u043c\u043e\u043d\u043e\u0432. \u042d\u0442\u043e \u043c\u043e\u0436\u0435\u0442 \u0441\u043d\u0430\u0447\u0430\u043b\u0430 \u0437\u0432\u0443\u0447\u0430\u0442\u044c \u043a\u0430\u043a \u0436\u0435\u0441\u0442\u043e\u043a\u043e\u0435 \u043e\u0431\u0440\u0430\u0449\u0435\u043d\u0438\u0435 \u0441 \u0436\u0438\u0432\u043e\u0442\u043d\u044b\u043c\u0438, \u043d\u043e \u044d\u0442\u043e \u043e\u0447\u0435\u043d\u044c \u0434\u0430\u0436\u0435 \u0432\u0435\u0441\u0435\u043b\u043e \u0438 \u0432\u0441\u0435, \u043f\u043e\u0445\u043e\u0436\u0435, \u0440\u0430\u0434\u044b, \u0432\u043a\u043b\u044e\u0447\u0430\u044f \u043f\u043e\u043a\u0435\u043c\u043e\u043d\u043e\u0432. \u0418\u043c\u0435\u0439\u0442\u0435 \u0432 \u0432\u0438\u0434\u0443, \u0447\u0442\u043e \u0432 \u043c\u0438\u0440\u0435 \u043f\u043e\u043a\u0435\u043c\u043e\u043d\u043e\u0432, \u043a\u0430\u0436\u0435\u0442\u0441\u044f, \u0432\u0441\u0451 \u0432 \u043f\u043e\u0440\u044f\u0434\u043a\u0435, \u0434\u0430\u0436\u0435 \u0435\u0441\u043b\u0438 10-\u043b\u0435\u0442\u043d\u0438\u0435 \u043f\u043e\u043a\u0438\u0434\u0430\u044e\u0442 \u0434\u043e\u043c, \u0434\u0430\u0431\u044b \u0440\u0438\u0441\u043a\u043e\u0432\u0430\u0442\u044c \u0441\u0432\u043e\u0438\u043c\u0438 \u0436\u0438\u0437\u043d\u044f\u043c\u0438 \u0440\u0430\u0434\u0438 \u0442\u043e\u0433\u043e, \u0447\u0442\u043e\u0431\u044b \u0441\u0442\u0430\u0442\u044c \u0441\u0430\u043c\u044b\u043c\u0438 \u043b\u0443\u0447\u0448\u0438\u043c\u0438 \u0422\u0440\u0435\u043d\u0435\u0440\u0430\u043c\u0438 \u041f\u043e\u043a\u0435\u043c\u043e\u043d\u043e\u0432, \u043a\u0430\u043a \u0431\u0443\u0434\u0442\u043e \u043d\u0438\u043a\u0442\u043e \u0438 \u043d\u0438\u043a\u043e\u0433\u0434\u0430 \u0442\u0430\u043a\u043e\u0432\u044b\u043c\u0438 \u043d\u0435 \u0441\u0442\u0430\u043d\u043e\u0432\u0438\u043b\u0441\u044f.<\/p>\n<p>  \u041c\u044b \u0441\u043e\u0431\u0438\u0440\u0430\u0435\u043c\u0441\u044f \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c \u0425\u0430\u0441\u043a\u0435\u043b\u044c \u0434\u043b\u044f \u0442\u043e\u0433\u043e, \u0447\u0442\u043e \u0431\u044b \u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u0438\u0442\u044c \u043e\u0433\u0440\u0430\u043d\u0438\u0447\u0435\u043d\u043d\u0443\u044e (\u0438 \u0434\u0430\u0436\u0435 \u043d\u0435\u0441\u043a\u043e\u043b\u044c\u043a\u043e \u0443\u043f\u0440\u043e\u0449\u0451\u043d\u043d\u0443\u044e, \u0434\u0430 \u043f\u0440\u043e\u0441\u0442\u044f\u0442 \u043c\u0435\u043d\u044f \u0444\u0430\u043d\u0430\u0442\u044b) \u0447\u0430\u0441\u0442\u044c \u043c\u0438\u0440\u0430 \u043f\u043e\u043a\u0435\u043c\u043e\u043d\u043e\u0432. <a name=\"habracut\"><\/a>\u0410 \u0438\u043c\u0435\u043d\u043d\u043e:  <\/p>\n<ul>\n<li>\u041f\u043e\u043a\u0435\u043c\u043e\u043d \u0438\u043c\u0435\u0435\u0442 \u0442\u0438\u043f \u0438\u043b\u0438 \u0441\u0442\u0438\u0445\u0438\u044e, \u0432 \u043d\u0430\u0448\u0435\u043c \u0441\u043b\u0443\u0447\u0430\u0435 \u0443\u0440\u0435\u0437\u0430\u043d\u043d\u0443\u044e \u0434\u043e \u041e\u0433\u043d\u044f, \u0412\u043e\u0434\u044b \u0438 \u0422\u0440\u0430\u0432\u044b<\/li>\n<li>\u0421\u0443\u0449\u0435\u0441\u0442\u0432\u0443\u044e\u0442 \u0442\u0440\u0438 \u043f\u043e\u043a\u0435\u043c\u043e\u043d\u0430 \u043a\u0430\u0436\u0434\u043e\u0439 \u0441\u0442\u0438\u0445\u0438\u0438: <br \/> \n<ul>\n<li> \u0427\u0430\u0440\u043c\u0430\u043d\u0434\u0435\u0440, \u0427\u0430\u0440\u043c\u0435\u043b\u0438\u043e\u043d \u0438 \u0427\u0430\u0440\u0438\u0437\u0430\u0440\u0434 \u2014 \u041e\u0433\u043d\u0435\u043d\u043d\u044b\u0435 \u043f\u043e\u043a\u0435\u043c\u043e\u043d\u044b, <\/li>\n<li> \u0421\u043a\u0432\u0438\u0440\u0442\u043b, \u0412\u0430\u0440\u0442\u043e\u0440\u0442\u043b \u0438 \u0411\u043b\u0435\u0441\u0442\u043e\u0439\u0437 \u2014 \u0412\u043e\u0434\u043d\u043e\u0439 \u0441\u0442\u0438\u0445\u0438\u0438, <\/li>\n<li> \u0411\u0443\u043b\u044c\u0431\u0430\u0437\u0430\u0432\u0440, \u0418\u0432\u0438\u0437\u0430\u0432\u0440 \u0438 \u0412\u0435\u043d\u043e\u0437\u0430\u0432\u0440 \u2014 \u0422\u0440\u0430\u0432\u044f\u043d\u043e\u0439 \u0441\u0442\u0438\u0445\u0438\u0438<\/li>\n<\/ul>\n<\/li>\n<li>\u041a\u0430\u0436\u0434\u0430\u044f \u0441\u0442\u0438\u0445\u0438\u044f \u0438\u043c\u0435\u0435\u0442 \u0441\u0432\u043e\u0438 \u0441\u043e\u0431\u0441\u0442\u0432\u0435\u043d\u043d\u044b\u0435 \u0441\u043f\u043e\u0441\u043e\u0431\u043d\u043e\u0441\u0442\u0438, \u043d\u0430\u0437\u044b\u0432\u0430\u0435\u043c\u044b\u0435 \u0434\u0432\u0438\u0436\u0435\u043d\u0438\u044f\u043c\u0438 \u0438\u043b\u0438 \u0443\u0434\u0430\u0440\u0430\u043c\u0438: \u0432\u043e\u0434\u043d\u044b\u0435 \u043f\u043e\u043a\u0435\u043c\u043e\u043d\u044b \u0432\u044b\u043f\u043e\u043b\u043d\u044f\u044e\u0442 \u0432\u043e\u0434\u043d\u044b\u0435 \u0443\u0434\u0430\u0440\u044b, \u043e\u0433\u043d\u0435\u043d\u043d\u044b\u0435 \u043f\u043e\u043a\u0435\u043c\u043e\u043d\u044b \u2014 \u043e\u0433\u043d\u0435\u043d\u043d\u044b\u0435 \u0443\u0434\u0430\u0440\u044b, \u0442\u0440\u0430\u0432\u044f\u043d\u044b\u0435 \u2014 \u0442\u0440\u0430\u0432\u044f\u043d\u044b\u0435 \u0443\u0434\u0430\u0440\u044b<\/li>\n<li>\u041a\u043e\u0433\u0434\u0430 \u0431\u044c\u044e\u0442\u0441\u044f, \u043e\u0433\u043d\u0435\u043d\u043d\u044b\u0439 \u043f\u043e\u043a\u0435\u043c\u043e\u043d \u0432\u0441\u0435\u0433\u0434\u0430 \u043f\u043e\u0431\u0435\u0436\u0434\u0430\u0435\u0442 \u0442\u0440\u0430\u0432\u044f\u043d\u043e\u0433\u043e \u043f\u043e\u043a\u0435\u043c\u043e\u043d\u0430, \u0442\u0440\u0430\u0432\u044f\u043d\u043e\u0439 \u043f\u043e\u043a\u0435\u043c\u043e\u043d \u0432\u0441\u0435\u0433\u0434\u0430 \u043f\u043e\u0431\u0435\u0436\u0434\u0430\u0435\u0442 \u0432\u043e\u0434\u043d\u043e\u0433\u043e \u043f\u043e\u043a\u0435\u043c\u043e\u043d\u0430, \u0430 \u0432\u043e\u0434\u043d\u044b\u0439 \u043f\u043e\u043a\u0435\u043c\u043e\u043d \u0432\u0441\u0435\u0433\u0434\u0430 \u043f\u043e\u0431\u0435\u0436\u0434\u0430\u0435\u0442 \u043e\u0433\u043d\u0435\u043d\u043d\u043e\u0433\u043e \u043f\u043e\u043a\u0435\u043c\u043e\u043d\u0430<\/li>\n<li>\u041d\u0438\u043a\u043e\u0433\u0434\u0430 \u043d\u0435 \u0434\u0435\u0440\u0443\u0442\u0441\u044f \u043f\u043e\u043a\u0435\u043c\u043e\u043d\u044b \u043e\u0434\u043d\u043e\u0439 \u0441\u0442\u0438\u0445\u0438\u0438, \u043f\u043e\u0441\u043a\u043e\u043b\u044c\u043a\u0443 \u043d\u0435\u043b\u044c\u0437\u044f \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0438\u0442\u044c, \u043a\u0442\u043e \u0438\u0437 \u043d\u0438\u0445 \u0432\u044b\u0438\u0433\u0440\u0430\u0435\u0442<\/li>\n<li>\u0414\u0440\u0443\u0433\u0438\u0435 \u043b\u044e\u0434\u0438 \u0434\u043e\u043b\u0436\u043d\u044b \u0431\u044b\u0442\u044c \u0441\u043f\u043e\u0441\u043e\u0431\u043d\u044b \u043f\u043e\u043f\u043e\u043b\u043d\u044f\u0442\u044c \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0443 \u0441\u0432\u043e\u0438\u043c\u0438 \u043f\u043e\u043a\u0435\u043c\u043e\u043d\u0430\u043c\u0438 \u0432 \u0441\u0432\u043e\u0438\u0445 \u043c\u043e\u0434\u0443\u043b\u044f\u0445<\/li>\n<li>\u041f\u0440\u043e\u0432\u0435\u0440\u0449\u0438\u043a \u0422\u0438\u043f\u043e\u0432 (\u0447\u0430\u0441\u0442\u044c \u0438\u043d\u0442\u0435\u0440\u043f\u0440\u0435\u0442\u0430\u0442\u043e\u0440\u0430 \u0438 \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440\u0430) \u0434\u043e\u043b\u0436\u0435\u043d \u043f\u043e\u043c\u043e\u0447\u044c \u043d\u0430\u043c \u0432 \u0441\u043e\u0431\u043b\u044e\u0434\u0435\u043d\u0438\u0438 \u043f\u0440\u0430\u0432\u0438\u043b<\/li>\n<\/ul>\n<p>  <\/p>\n<h4>\u041f\u0435\u0440\u0432\u0430\u044f \u043f\u043e\u043f\u044b\u0442\u043a\u0430<\/h4>\n<p>  \u0414\u043b\u044f \u043d\u0430\u0447\u0430\u043b\u0430 \u043f\u043e\u043f\u044b\u0442\u0430\u0435\u043c\u0441\u044f \u0440\u0435\u0430\u043b\u0438\u0437\u043e\u0432\u0430\u0442\u044c \u043f\u0440\u0430\u0432\u0438\u043b\u0430 \u0431\u0435\u0437 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u043d\u0438\u044f \u043a\u043b\u0430\u0441\u0441\u043e\u0432 \u0442\u0438\u043f\u043e\u0432 \u0438 \u0441\u0435\u043c\u0435\u0439 \u0442\u0438\u043f\u043e\u0432.<br \/>  \u041d\u0430\u0447\u043d\u0451\u043c \u0441 \u043d\u0435\u0441\u043a\u043e\u043b\u044c\u043a\u0438\u0445 \u0441\u0442\u0438\u0445\u0438\u0439 \u043f\u043e\u043a\u0435\u043c\u043e\u043d\u043e\u0432 \u0438 \u0438\u0445 \u0434\u0432\u0438\u0436\u0435\u043d\u0438\u0439. \u041c\u044b \u0431\u0443\u0434\u0435\u043c \u0440\u0435\u0430\u043b\u0438\u0437\u043e\u0432\u044b\u0432\u0430\u0442\u044c \u043e\u0442\u0434\u0435\u043b\u044c\u043d\u043e, \u043f\u043e\u0441\u043a\u043e\u043b\u044c\u043a\u0443 \u044d\u0442\u043e \u043f\u043e\u043c\u043e\u0436\u0435\u0442 \u043d\u0430\u043c \u043e\u0442\u043b\u0438\u0447\u0438\u0442\u044c \u0438\u0445 \u0434\u0432\u0438\u0436\u0435\u043d\u0438\u044f \u043e\u0442 \u0442\u0438\u043f\u043e\u0432 \u043f\u043e\u043a\u0435\u043c\u043e\u043d\u043e\u0432.<br \/>  \u0414\u043b\u044f \u044d\u0442\u043e\u0439 \u0446\u0435\u043b\u0438 \u043c\u044b \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0438\u043c \u0444\u0443\u043d\u043a\u0446\u0438\u0438 \u0434\u043b\u044f \u043a\u0430\u0436\u0434\u043e\u0433\u043e \u043f\u043e\u043a\u0435\u043c\u043e\u043d\u0430, \u0432\u044b\u0431\u0440\u0430\u0432 \u0435\u0433\u043e \u0434\u0432\u0438\u0436\u0435\u043d\u0438\u0435.<\/p>\n<pre><code class=\"haskell\">data Fire = Charmander | Charmeleon | Charizard deriving Show  data Water = Squirtle | Wartortle | Blastoise deriving Show data Grass = Bulbasaur | Ivysaur | Venusaur deriving Show  data FireMove = Ember | FlameThrower | FireBlast deriving Show  data WaterMove = Bubble | WaterGun deriving Show data GrassMove = VineWhip deriving Show  pickFireMove :: Fire -&gt; FireMove pickFireMove Charmander = Ember pickFireMove Charmeleon = FlameThrower pickFireMove Charizard = FireBlast  pickWaterMove :: Water -&gt; WaterMove pickWaterMove Squirtle = Bubble pickWaterMove _ = WaterGun  pickGrassMove :: Grass -&gt; GrassMove pickGrassMove _ = VineWhip <\/code><\/pre>\n<p>  \u041f\u043e\u043a\u0430 \u0432\u0441\u0451 \u0445\u043e\u0440\u043e\u0448\u043e, \u043f\u0440\u043e\u0432\u0435\u0440\u0449\u0438\u043a \u0442\u0438\u043f\u043e\u0432 \u043f\u043e\u043c\u043e\u0433\u0430\u0435\u0442 \u0440\u0430\u0437\u043e\u0431\u0440\u0430\u0442\u044c\u0441\u044f, \u0433\u0434\u0435 \u043a\u0430\u043a\u043e\u0439 \u043f\u043e\u043a\u0435\u043c\u043e\u043d \u043f\u0440\u0430\u0432\u0438\u043b\u044c\u043d\u043e \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u0442 \u0441\u0432\u043e\u044e \u0441\u0442\u0438\u0445\u0438\u044e.<\/p>\n<p>  <img decoding=\"async\" src=\"http:\/\/habrastorage.org\/storage2\/a7a\/8ec\/c08\/a7a8ecc08256354e08709e842d06d7a6.jpg\"\/><br \/>  <i>6 \u0438\u0437 \u043e\u043f\u0438\u0441\u044b\u0432\u0430\u0435\u043c\u044b\u0445 \u043d\u0430\u043c\u0438 9 \u043f\u043e\u043a\u0435\u043c\u043e\u043d\u043e\u0432 \u0432\u0441\u0435\u0445 \u0442\u0440\u0451\u0445 \u0441\u0442\u0438\u0445\u0438\u0439. \u041f\u043e 2 \u043d\u0430 \u043a\u0430\u0436\u0434\u044b\u0439 \u0442\u0438\u043f<\/i><\/p>\n<p>  \u0422\u0435\u043f\u0435\u0440\u044c \u043c\u044b \u0434\u043e\u043b\u0436\u043d\u044b \u0440\u0435\u0430\u043b\u0438\u0437\u043e\u0432\u0430\u0442\u044c \u0431\u043e\u0439. \u0411\u043e\u0438 \u0431\u0443\u0434\u0443\u0442 \u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043b\u044f\u0442\u044c \u0441\u043e\u0431\u043e\u0439 \u0432\u044b\u0432\u043e\u0434 \u0441\u043e\u043e\u0431\u0449\u0435\u043d\u0438\u044f, \u0433\u0434\u0435 \u043e\u043f\u0438\u0441\u0430\u043d\u043e \u043a\u0430\u043a \u043a\u0430\u0436\u0434\u044b\u0439 \u043f\u043e\u043a\u0435\u043c\u043e\u043d \u0431\u044c\u0451\u0442, \u0437\u0430\u0442\u0435\u043c \u0443\u043a\u0430\u0437\u044b\u0432\u0430\u0435\u043c \u043f\u043e\u0431\u0435\u0434\u0438\u0442\u0435\u043b\u044f, \u043d\u0430\u043f\u0440\u0438\u043c\u0435\u0440, \u0442\u0430\u043a:<\/p>\n<pre><code class=\"haskell\">printBattle :: String -&gt; String -&gt; String -&gt; String -&gt; String -&gt; IO () printBattle pokemonOne moveOne pokemonTwo moveTwo winner = do   putStrLn $ pokemonOne ++ &quot; used &quot; ++ moveOne   putStrLn $ pokemonTwo ++ &quot; used &quot; ++ moveTwo   putStrLn $ &quot;Winner is: &quot; ++ winner ++ &quot;\\n&quot; <\/code><\/pre>\n<p>  \u042d\u0442\u043e \u0432\u0441\u0435\u0433\u043e \u043b\u0438\u0448\u044c \u043e\u0442\u043e\u0431\u0440\u0430\u0436\u0435\u043d\u0438\u0435 \u0434\u0432\u0438\u0436\u0435\u043d\u0438\u0439, \u043c\u044b \u0441\u0430\u043c\u0438 \u0434\u043e\u043b\u0436\u043d\u044b \u043d\u0430\u0439\u0442\u0438 \u043f\u043e\u0431\u0435\u0434\u0438\u0442\u0435\u043b\u044f, \u043d\u0430 \u043e\u0441\u043d\u043e\u0432\u0430\u043d\u0438\u0438 \u0441\u0442\u0438\u0445\u0438\u0438 \u043f\u043e\u043a\u0435\u043c\u043e\u043d\u0430 \u0438 \u0435\u0433\u043e \u0443\u0434\u0430\u0440\u043e\u0432. \u0412\u043e\u0442 \u043f\u0440\u0438\u043c\u0435\u0440 \u0444\u0443\u043d\u043a\u0446\u0438\u0438 \u0431\u043e\u044f \u043c\u0435\u0436\u0434\u0443 \u041e\u0433\u043d\u0435\u043d\u043d\u043e\u0439 \u0438 \u0412\u043e\u0434\u043d\u043e\u0439 \u0441\u0442\u0438\u0445\u0438\u044f\u043c\u0438:<\/p>\n<pre><code class=\"haskell\">battleWaterVsFire :: Water -&gt; Fire -&gt; IO () battleWaterVsFire water fire = do   printBattle (show water) moveOne (show fire) moveTwo (show water)  where   moveOne = show $ pickWaterMove water   moveTwo = show $ pickFireMove fire  battleFireVsWater = flip battleWaterVsFire -- \u0422\u043e \u0436\u0435 \u0441\u0430\u043c\u043e\u0435, \u0447\u0442\u043e \u0438 \u0432\u044b\u0448\u0435, \u0442\u043e\u043b\u044c\u043a\u043e \u0441 \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442\u0430\u043c\u0438, \u043a\u043e\u0442\u043e\u0440\u044b\u0445 \u043f\u043e\u043c\u0435\u043d\u044f\u043b\u0438 \u043c\u0435\u0441\u0442\u0430\u043c\u0438 <\/code><\/pre>\n<p>  \u0415\u0441\u043b\u0438 \u0432\u0441\u0451 \u044d\u0442\u043e \u043e\u0431\u044a\u0435\u0434\u0438\u043d\u0438\u043c, \u0438 \u0434\u043e\u043f\u0438\u0448\u0435\u043c \u0434\u0440\u0443\u0433\u0438\u0435 \u0444\u0443\u043d\u043a\u0446\u0438\u0438 \u0434\u0440\u0430\u043a, \u043c\u044b \u043f\u043e\u043b\u0443\u0447\u0438\u043c \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0443.<\/p>\n<h4>\u0412\u0432\u0435\u0434\u0435\u043d\u0438\u0435 \u0432 \u041a\u043b\u0430\u0441\u0441\u044b \u0442\u0438\u043f\u043e\u0432<\/h4>\n<p>  \u0421\u043a\u043e\u043b\u044c\u043a\u043e \u0432 \u044d\u0442\u043e\u043c \u043f\u043e\u0432\u0442\u043e\u0440\u0435\u043d\u043d\u043e\u0433\u043e \u043a\u043e\u0434\u0430: \u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u044c\u0442\u0435 \u0441\u0435\u0431\u0435, \u0447\u0442\u043e \u043a\u0442\u043e-\u0442\u043e \u0437\u0430\u0445\u043e\u0442\u0435\u043b \u0434\u043e\u0431\u0430\u0432\u0438\u0442\u044c \u042d\u043b\u0435\u043a\u0442\u0440\u0438\u0447\u0435\u0441\u043a\u043e\u0439 \u0441\u0442\u0438\u0445\u0438\u0438 \u043f\u043e\u043a\u0435\u043c\u043e\u043d\u043e\u0432, \u043d\u0430\u043f\u0440\u0438\u043c\u0435\u0440 \u041f\u0438\u043a\u0430\u0447\u0443, \u0442\u043e\u0433\u0434\u0430 \u043f\u0440\u0438\u0434\u0451\u0442\u0441\u044f \u0434\u043e\u043f\u0438\u0441\u044b\u0432\u0430\u0442\u044c \u0441\u043e\u0431\u0441\u0442\u0432\u0435\u043d\u043d\u044b\u0435 \u0444\u0443\u043d\u043a\u0446\u0438\u0438 \u0434\u0440\u0430\u043a <code>battleElectricVs(Grass|Fire|Water)<\/code>. \u0415\u0441\u0442\u044c \u043d\u0435\u0441\u043a\u043e\u043b\u044c\u043a\u043e \u0448\u0430\u0431\u043b\u043e\u043d\u043e\u0432, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u043f\u043e\u043c\u043e\u0433\u0443\u0442 \u043d\u0430\u043c \u0444\u043e\u0440\u043c\u0430\u043b\u0438\u0437\u043e\u0432\u0430\u0442\u044c \u0438 \u043f\u043e\u043c\u043e\u0447\u044c \u043b\u044e\u0434\u044f\u043c \u043f\u043e\u043b\u0443\u0447\u0438\u0442\u044c \u0431\u043e\u043b\u044c\u0448\u0435\u0435 \u043f\u043e\u043d\u0438\u043c\u0430\u043d\u0438\u0435, \u0447\u0442\u043e \u0442\u0430\u043a\u043e\u0435 \u043f\u043e\u043a\u0435\u043c\u043e\u043d\u044b \u0438 \u043a\u0430\u043a \u0434\u043e\u0431\u0430\u0432\u043b\u044f\u0442\u044c \u043d\u043e\u0432\u044b\u0435.<br \/>  \u0427\u0442\u043e \u043c\u044b \u0438\u043c\u0435\u0435\u043c:  <\/p>\n<ul>\n<li>\u043f\u043e\u043a\u0435\u043c\u043e\u043d\u044b \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u044e\u0442 \u0444\u0443\u043d\u043a\u0446\u0438\u0438, \u0447\u0442\u043e\u0431\u044b \u0432\u044b\u0431\u0440\u0430\u0442\u044c \u0434\u0432\u0438\u0436\u0435\u043d\u0438\u0435<\/li>\n<li>\u0411\u0438\u0442\u0432\u044b \u043d\u0430\u0445\u043e\u0434\u044f\u0442 \u043f\u043e\u0431\u0435\u0434\u0438\u0442\u0435\u043b\u044f \u0438 \u043f\u0435\u0447\u0430\u0442\u0430\u044e\u0442 \u043e\u043f\u0438\u0441\u0430\u043d\u0438\u0435 \u0431\u0438\u0442\u0432\u044b<\/li>\n<\/ul>\n<p>  \u041c\u044b \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0438\u043c \u043d\u0435\u0441\u043a\u043e\u043b\u044c\u043a\u043e \u043a\u043b\u0430\u0441\u0441\u043e\u0432 \u0442\u0438\u043f\u043e\u0432 \u0434\u043b\u044f \u0444\u043e\u0440\u043c\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u0438, \u0438 \u0440\u0430\u0437 \u043c\u044b \u0431\u0443\u0434\u0435\u043c \u043f\u0440\u0430\u0432\u0438\u0442\u044c, \u043c\u044b \u0442\u0430\u043a \u0436\u0435 \u043f\u0435\u0440\u0435\u0438\u043c\u0435\u043d\u0443\u0435\u043c \u043d\u0435\u043e\u0431\u044b\u0447\u043d\u0443\u044e \u043d\u044b\u043d\u0435 \u0441\u0445\u0435\u043c\u0443 \u0438\u043c\u0451\u043d, \u0433\u0434\u0435 \u043a\u0430\u0436\u0434\u0430\u044f \u0444\u0443\u043d\u043a\u0446\u0438\u044f \u0432\u043a\u043b\u044e\u0447\u0430\u0435\u0442 \u0441\u0442\u0438\u0445\u0438\u044e, \u0441 \u043a\u043e\u0442\u043e\u0440\u043e\u0439 \u043e\u043f\u0435\u0440\u0438\u0440\u0443\u0435\u0442.<\/p>\n<h5>\u041a\u043b\u0430\u0441\u0441 \u043f\u043e\u043a\u0435\u043c\u043e\u043d\u043e\u0432<\/h5>\n<p>  \u041a\u043b\u0430\u0441\u0441 \u043f\u043e\u043a\u0435\u043c\u043e\u043d\u043e\u0432 \u043e\u0442\u043e\u0431\u0440\u0430\u0436\u0430\u0435\u0442 \u0437\u043d\u0430\u043d\u0438\u044f, \u0447\u0442\u043e \u043f\u043e\u043a\u0435\u043c\u043e\u043d \u0432\u044b\u0431\u0440\u0430\u043b \u0441\u0432\u043e\u0451 \u0434\u0432\u0438\u0436\u0435\u043d\u0438\u0435. \u042d\u0442\u043e \u043f\u043e\u0437\u0432\u043e\u043b\u0438\u0442 \u043d\u0430\u043c \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0438\u0442\u044c <code>pickMove<\/code>, \u043f\u0435\u0440\u0435-\u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u044f \u0442\u0430\u043a, \u0447\u0442\u043e \u043e\u0434\u043d\u0430 \u0438 \u0442\u0430 \u0436\u0435 \u0444\u0443\u043d\u043a\u0446\u0438\u044f \u043c\u043e\u0436\u0435\u0442 \u043e\u043f\u0435\u0440\u0438\u0440\u043e\u0432\u0430\u0442\u044c \u0440\u0430\u0437\u043d\u044b\u043c\u0438 \u0441\u0442\u0438\u0445\u0438\u044f\u043c\u0438, \u0434\u043b\u044f \u043a\u043e\u0442\u043e\u0440\u044b\u0445 \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0451\u043d \u043a\u043b\u0430\u0441\u0441.<\/p>\n<p>  \u0412 \u043e\u0442\u043b\u0438\u0447\u0438\u0435 \u043e\u0442 \u00ab\u0432\u0430\u043d\u0438\u043b\u044c\u043d\u044b\u0445\u00bb \u043a\u043b\u0430\u0441\u0441\u043e\u0432, \u043d\u0430\u0448 \u043a\u043b\u0430\u0441\u0441 \u043f\u043e\u043a\u0435\u043c\u043e\u043d\u043e\u0432 \u0431\u0443\u0434\u0435\u0442 \u043d\u0443\u0436\u0434\u0430\u0442\u044c\u0441\u044f \u0432 2\u0445 \u0442\u0438\u043f\u0430\u0445: \u0441\u0442\u0438\u0445\u0438\u0438 \u043f\u043e\u043a\u0435\u043c\u043e\u043d\u0430 \u0438 \u0442\u0438\u043f\u0430 \u0443\u0440\u043e\u043d\u0430 \u0438\u043c \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u043c\u044b\u043c, \u0430 \u043f\u043e\u0437\u0436\u0435 \u043e\u0434\u043d\u043e \u0431\u0443\u0434\u0435\u0442 \u0437\u0430\u0432\u0438\u0441\u0435\u0442\u044c \u043e\u0442 \u0434\u0440\u0443\u0433\u043e\u0433\u043e. \u041c\u044b \u0434\u043e\u043b\u0436\u043d\u044b \u0432\u043a\u043b\u044e\u0447\u0438\u0442\u044c \u044f\u0437\u044b\u043a\u043e\u0432\u043e\u0435 \u0440\u0430\u0441\u0448\u0438\u0440\u0435\u043d\u0438\u0435, \u0440\u0430\u0437\u0440\u0435\u0448\u0430\u044e\u0449\u0435\u0435 \u0438\u043c\u0435\u0442\u044c 2 \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u0430 \u0432 \u043a\u043b\u0430\u0441\u0441\u0435: <code>MultiParamTypeClasses<\/code><br \/>  \u0417\u0430\u043c\u0435\u0442\u044c\u0442\u0435, \u0447\u0442\u043e \u043c\u044b \u0434\u043e\u043b\u0436\u043d\u044b \u0434\u043e\u0431\u0430\u0432\u0438\u0442\u044c \u043e\u0433\u0440\u0430\u043d\u0438\u0447\u0435\u043d\u0438\u044f, \u0442\u0430\u043a\u0438\u0435, \u0447\u0442\u043e \u043f\u043e\u043a\u0435\u043c\u043e\u043d\u044b \u0438 \u0438\u0445 \u0443\u0434\u0430\u0440\u044b \u0434\u043e\u043b\u0436\u043d\u044b \u0438\u043c\u0435\u0442\u044c \u0432\u043e\u0437\u043c\u043e\u0436\u043d\u043e\u0441\u0442\u044c \u0431\u044b\u0442\u044c \u0432\u044b\u0432\u0435\u0434\u0435\u043d\u043d\u044b\u043c\u0438 \u043d\u0430 \u044d\u043a\u0440\u0430\u043d.<br \/>  \u0412\u043e\u0442 \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0435\u043d\u0438\u0435, \u043d\u0430\u0440\u044f\u0434\u0443 \u0441 \u043d\u0435\u0441\u043a\u043e\u043b\u044c\u043a\u0438\u043c\u0438 \u044d\u043a\u0437\u0435\u043c\u043f\u043b\u044f\u0440\u0430\u043c\u0438 \u0434\u043b\u044f \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u0443\u044e\u0449\u0438\u0445 \u0441\u0442\u0438\u0445\u0438\u0439 \u043f\u043e\u043a\u0435\u043c\u043e\u043d\u043e\u0432.<\/p>\n<pre><code class=\"haskell\">class (Show pokemon, Show move) =&gt; Pokemon pokemon move where   pickMove :: pokemon -&gt; move  instance Pokemon Fire FireMove where   pickMove Charmander = Ember   pickMove Charmeleon = FlameThrower   pickMove Charizard = FireBlast  instance Pokemon Water WaterMove where   pickMove Squirtle = Bubble   pickMove _ = WaterGun  instance Pokemon Grass GrassMove where   pickMove _ = VineWhip <\/code><\/pre>\n<p>  \u0438 \u0441\u043c\u043e\u0436\u0435\u043c \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c \u0444\u0443\u043d\u043a\u0446\u0438\u044e \u0442\u0430\u043a<\/p>\n<pre><code class=\"haskell\">pickMove Charmander :: FireMove <\/code><\/pre>\n<p>  \u0417\u0430\u043c\u0435\u0442\u044c\u0442\u0435, \u043a\u0430\u043a \u0432\u0435\u0449\u0438 \u043d\u0430\u0447\u0438\u043d\u0430\u044e\u0442 \u0432\u044b\u0433\u043b\u044f\u0434\u0435\u0442\u044c \u043d\u0435\u043e\u043f\u0440\u044f\u0442\u043d\u043e. \u0418\u0437-\u0437\u0430 \u0442\u043e\u0433\u043e, \u0447\u0442\u043e \u0441\u0442\u0438\u0445\u0438\u0438 \u043f\u043e\u043a\u0435\u043c\u043e\u043d\u043e\u0432 \u0438 \u0442\u0438\u043f\u044b \u0434\u0432\u0438\u0436\u0435\u043d\u0438\u044f \u043e\u0431\u0440\u0430\u0431\u0430\u0442\u044b\u0432\u0430\u044e\u0442\u0441\u044f \u043d\u0435\u0437\u0430\u0432\u0438\u0441\u0438\u043c\u043e \u043a\u043b\u0430\u0441\u0441\u0430\u043c\u0438 \u0442\u0438\u043f\u043e\u0432. \u0413\u043e\u0432\u043e\u0440\u044f, \u0447\u0442\u043e \u043c\u044b \u0432\u044b\u0431\u0438\u0440\u0430\u0435\u043c \u041e\u0433\u043d\u0435\u043d\u043d\u044b\u0439 \u0443\u0434\u0430\u0440, \u043c\u044b \u0434\u0430\u0451\u043c \u043f\u0440\u043e\u0432\u0435\u0440\u0449\u0438\u043a\u0443 \u0442\u0438\u043f\u043e\u0432 \u0432\u0441\u044e \u0438\u043d\u0444\u043e\u0440\u043c\u0430\u0446\u0438\u044e, \u0434\u043b\u044f \u0442\u043e\u0433\u043e, \u0447\u0442\u043e \u0431\u044b \u043e\u043d \u0440\u0435\u0448\u0438\u043b, \u043a\u0430\u043a\u043e\u0439 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c \u043a\u043b\u0430\u0441\u0441 \u0438 \u0443\u0434\u0430\u0440.  <\/p>\n<h5>\u041a\u043b\u0430\u0441\u0441 \u0431\u0438\u0442\u0432\u044b<\/h5>\n<p>  \u0423 \u043d\u0430\u0441 \u0443\u0436\u0435 \u0435\u0441\u0442\u044c \u043f\u043e\u043a\u0435\u043c\u043e\u043d\u044b, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u043c\u043e\u0433\u0443\u0442 \u0432\u044b\u0431\u0438\u0440\u0430\u0442\u044c \u0441\u0435\u0431\u0435 \u0443\u0434\u0430\u0440\u044b, \u0442\u0435\u043f\u0435\u0440\u044c \u043d\u0430\u043c \u043d\u0435\u043e\u0431\u0445\u043e\u0434\u0438\u043c\u0430 \u0430\u0431\u0441\u0442\u0440\u0430\u043a\u0446\u0438\u044f, \u043a\u043e\u0442\u043e\u0440\u0430\u044f \u0431\u0443\u0434\u0435\u0442 \u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043b\u044f\u0442\u044c \u0431\u0438\u0442\u0432\u0443 \u0434\u0432\u0443\u0445 \u043f\u043e\u043a\u0435\u043c\u043e\u043d\u043e\u0432, \u0434\u043b\u044f \u0442\u043e\u0433\u043e, \u0447\u0442\u043e \u0431\u044b \u0438\u0437\u0431\u0430\u0432\u0438\u0442\u044c\u0441\u044f \u043e\u0442 \u0444\u0443\u043d\u043a\u0446\u0438\u0439 \u0442\u0438\u043f\u0430 <code>battle*family*Vs*family<\/code><br \/>  \u041d\u0430\u043c \u0431\u044b \u043e\u0447\u0435\u043d\u044c \u0445\u043e\u0442\u0435\u043b\u043e\u0441\u044c \u043d\u0430\u043f\u0438\u0441\u0430\u0442\u044c \u043a\u043e\u0434 \u0442\u0430\u043a:<\/p>\n<pre><code class=\"haskell\">class (Pokemon pokemon move, Pokemon foe foeMove) =&gt; Battle pokemon move foe foeMove where   battle :: pokemon -&gt; foe -&gt; IO ()   battle pokemon foe = do     printBattle (show pokemon) (show move) (show foe) (show foeMove) (show pokemon)    where     move = pickMove pokemon     foeMove = pickMove foe  instance Battle Water WaterMove Fire FireMove <\/code><\/pre>\n<p>  \u041e\u0434\u043d\u0430\u043a\u043e, \u0435\u0441\u043b\u0438 \u043c\u044b \u0437\u0430\u043f\u0443\u0441\u0442\u0438\u043c, \u043f\u043e\u043b\u0443\u0447\u0438\u043c \u043e\u0448\u0438\u0431\u043a\u0443 \u043e\u0442 \u043f\u0440\u043e\u0432\u0435\u0440\u0449\u0438\u043a\u0430 \u0442\u0438\u043f\u043e\u0432, \u043f\u043e\u0441\u043a\u043e\u043b\u044c\u043a\u0443 \u043d\u0435\u0442 \u0431\u043e\u043b\u0435\u0435 \u043e\u0431\u0449\u0435\u0433\u043e \u044d\u043a\u0437\u0435\u043c\u043f\u043b\u044f\u0440\u0430 \u0441 \u0443\u0447\u0451\u0442\u043e\u043c \u0432\u0441\u0435\u0445 \u0442\u0438\u043f\u043e\u0432 \u0443\u0434\u0430\u0440\u043e\u0432.<br \/>  \u042d\u0442\u0430 \u043f\u0440\u043e\u0431\u043b\u0435\u043c\u0430 \u0440\u0435\u0448\u0430\u0435\u043c\u0430, \u043e\u0434\u043d\u0430\u043a\u043e, \u0438\u0442\u043e\u0433\u043e\u0432\u044b\u0439 \u043a\u043e\u0434 \u0432\u044b\u0433\u043b\u044f\u0434\u0438\u0442 \u043d\u0435\u043a\u0440\u0430\u0441\u0438\u0432\u044b\u043c, \u043d\u0430\u043c \u0444\u0430\u043a\u0442\u0438\u0447\u0435\u0441\u043a\u0438 \u043d\u0435\u043e\u0431\u0445\u043e\u0434\u0438\u043c\u043e \u0438\u0437\u043c\u0435\u043d\u0438\u0442\u044c \u0442\u0438\u043f \u0444\u0443\u043d\u043a\u0446\u0438\u0438 \u0431\u0438\u0442\u0432\u044b \u043d\u0430   <\/p>\n<pre><code class=\"haskell\">battle :: pokemon -&gt; foe -&gt; IO (move, foeMove) <\/code><\/pre>\n<p>  <\/p>\n<h4>\u0412\u0432\u0435\u0434\u0435\u043d\u0438\u0435 \u0421\u0435\u043c\u0435\u0439 \u0442\u0438\u043f\u043e\u0432, \u043d\u0430\u043a\u043e\u043d\u0435\u0446-\u0442\u043e!<\/h4>\n<p>  \u041d\u0443 \u0432\u043e\u0442, \u043d\u0430\u0448\u0430 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0430 \u0432\u044b\u0433\u043b\u044f\u0434\u0438\u0442 \u0443\u0434\u0440\u0443\u0447\u0430\u044e\u0449\u0435. \u041c\u044b \u0434\u043e\u043b\u0436\u043d\u044b \u0437\u0430\u0431\u043e\u0442\u0438\u0442\u0441\u044f \u043e\u0431\u043e \u0432\u0441\u0435\u0445 \u043f\u043e\u0434\u043f\u0438\u0441\u044f\u0445 \u0442\u0438\u043f\u043e\u0432, \u0438 \u043c\u044b \u0434\u0430\u0436\u0435 \u043e\u0431\u044f\u0437\u0430\u043d\u044b \u0438\u0437\u043c\u0435\u043d\u044f\u0442\u044c \u0432\u043d\u0443\u0442\u0440\u0435\u043d\u043d\u0435\u0435 \u043f\u043e\u0432\u0435\u0434\u0435\u043d\u0438\u0435 \u043d\u0430\u0448\u0438\u0445 \u0444\u0443\u043d\u043a\u0446\u0438\u0439 (<code>battle<\/code>) \u0442\u043e\u043b\u044c\u043a\u043e \u0434\u043b\u044f \u0442\u043e\u0433\u043e, \u0447\u0442\u043e\u0431\u044b \u043c\u044b \u043c\u043e\u0433\u043b\u0438 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c \u043f\u043e\u0434\u043f\u0438\u0441\u0438 \u0442\u0438\u043f\u043e\u0432 \u0434\u043b\u044f \u0442\u043e\u0433\u043e, \u0434\u0430\u0431\u044b \u043f\u043e\u043c\u043e\u0447\u044c \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440\u0443. \u042f \u043c\u043e\u0433\u0443 \u043f\u043e\u0439\u0442\u0438 \u0437\u043d\u0430\u0447\u0438\u0442\u0435\u043b\u044c\u043d\u043e \u0434\u0430\u043b\u044c\u0448\u0435 \u0438 \u0441\u043a\u0430\u0437\u0430\u0442\u044c, \u0447\u0442\u043e \u043d\u0430\u0448 \u043d\u044b\u043d\u0435\u0448\u043d\u0438\u0439 \u0440\u0435\u0444\u0430\u043a\u0442\u043e\u0440\u0438\u043d\u0433 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u044b \u2014 \u043b\u0438\u0448\u044c \u0447\u0443\u0442\u044c \u0431\u043e\u043b\u0435\u0435 \u0444\u043e\u0440\u043c\u0430\u043b\u044c\u043d\u044b\u0439 \u0438 \u043c\u0435\u043d\u0435\u0435 \u043f\u043e\u0432\u0442\u043e\u0440\u044f\u0435\u043c\u044b\u0439, \u043d\u0435 \u043d\u0430\u0441\u0442\u043e\u043b\u044c\u043a\u043e \u0443\u0436 \u0438 \u0431\u043e\u043b\u044c\u0448\u043e\u0435 \u0434\u043e\u0441\u0442\u0438\u0436\u0435\u043d\u0438\u0435, \u043f\u043e\u0441\u043b\u0435 \u0442\u043e\u0433\u043e, \u043a\u0430\u043a \u043c\u044b \u0432\u0432\u0435\u043b\u0438 \u0441\u0442\u043e\u043b\u044c\u043a\u043e \u0431\u0435\u0437\u043e\u0431\u0440\u0430\u0437\u0438\u044f \u0432 \u043a\u043e\u0434.<br \/>  \u0422\u0435\u043f\u0435\u0440\u044c \u043c\u044b \u043c\u043e\u0436\u0435\u043c \u043e\u0433\u043b\u044f\u043d\u0443\u0442\u0441\u044f \u043d\u0430\u0437\u0430\u0434, \u043d\u0430 \u043d\u0430\u0448\u0435 \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0435\u043d\u0438\u0435 \u043a\u043b\u0430\u0441\u0441\u0430 \u041f\u043e\u043a\u0435\u043c\u043e\u043d. \u041e\u043d \u0438\u043c\u0435\u0435\u0442 \u0441\u0442\u0438\u0445\u0438\u044e \u043f\u043e\u043a\u0435\u043c\u043e\u043d\u043e\u0432 \u0438 \u0442\u0438\u043f \u0443\u0434\u0430\u0440\u043e\u0432 \u043a\u0430\u043a \u0434\u0432\u0430 \u043e\u0442\u0434\u0435\u043b\u044c\u043d\u044b\u0445 \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u044b\u0445 \u043a\u043b\u0430\u0441\u0441\u0430. \u041f\u0440\u043e\u0432\u0435\u0440\u0449\u0438\u043a \u0442\u0438\u043f\u043e\u0432 \u043d\u0435 \u0437\u043d\u0430\u0435\u0442 \u043e \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u043e\u0432\u0430\u043d\u0438\u0438 \u0441\u0432\u044f\u0437\u0438 \u043c\u0435\u0436\u0434\u0443 \u0441\u0442\u0438\u0445\u0438\u044f\u043c\u0438 \u043f\u043e\u043a\u0435\u043c\u043e\u043d\u043e\u0432 \u0438 \u0442\u0438\u043f\u0430\u043c\u0438 \u0443\u0434\u0430\u0440\u043e\u0432. \u041e\u043d \u0434\u0430\u0436\u0435 \u043f\u043e\u0437\u0432\u043e\u043b\u044f\u0435\u0442 \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0438\u0442\u044c \u044d\u043a\u0437\u0435\u043c\u043f\u043b\u044f\u0440 \u041f\u043e\u043a\u0435\u043c\u043e\u043d\u043e\u0432, \u043a\u043e\u0433\u0434\u0430 \u0412\u043e\u0434\u043d\u044b\u0439 \u043f\u043e\u043a\u0435\u043c\u043e\u043d \u0441\u043e\u0437\u0434\u0430\u0451\u0442 \u041e\u0433\u043d\u0435\u043d\u043d\u044b\u0435 \u0443\u0434\u0430\u0440\u044b! <br \/>  \u0418\u043c\u0435\u043d\u043d\u043e \u0442\u0443\u0442 \u0441\u0435\u043c\u044c\u0438 \u0442\u0438\u043f\u043e\u0432 \u0432\u0441\u0442\u0443\u043f\u0430\u044e\u0442 \u0432 \u0438\u0433\u0440\u0443: \u043e\u043d\u0438 \u043f\u043e\u0437\u0432\u043e\u043b\u044f\u044e\u0442 \u0441\u043a\u0430\u0437\u0430\u0442\u044c \u043f\u0440\u043e\u0432\u0435\u0440\u0449\u0438\u043a\u0443 \u0442\u0438\u043f\u043e\u0432, \u0447\u0442\u043e \u041e\u0433\u043d\u0435\u043d\u043d\u044b\u0439 \u043f\u043e\u043a\u0435\u043c\u043e\u043d \u043c\u043e\u0436\u0435\u0442 \u0440\u0430\u0431\u043e\u0442\u0430\u0442\u044c \u0442\u043e\u043b\u044c\u043a\u043e \u0441 \u041e\u0433\u043d\u0435\u043d\u043d\u044b\u043c\u0438 \u0443\u0434\u0430\u0440\u0430\u043c\u0438 \u0438 \u0442\u0430\u043a \u0434\u0430\u043b\u0435\u0435.  <\/p>\n<h5>\u041a\u043b\u0430\u0441\u0441 \u041f\u043e\u043a\u0435\u043c\u043e\u043d, \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u044f \u0441\u0435\u043c\u044c\u0438 \u0442\u0438\u043f\u043e\u0432<\/h5>\n<p>  \u0414\u043b\u044f \u0442\u043e\u0433\u043e, \u0447\u0442\u043e \u0431\u044b \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c \u0421\u0435\u043c\u044c\u0438 \u0442\u0438\u043f\u043e\u0432 \u043d\u0430\u043c \u043d\u0435\u043e\u0431\u0445\u043e\u0434\u0438\u043c\u043e \u0432\u043a\u043b\u044e\u0447\u0438\u0442\u044c \u0440\u0430\u0441\u0448\u0438\u0440\u0435\u043d\u0438\u0435 <code>TypeFamilies<\/code>. \u041a\u0430\u043a \u0442\u043e\u043b\u044c\u043a\u043e \u043c\u044b \u043f\u043e\u0434\u043a\u043b\u044e\u0447\u0438\u043c, \u043c\u044b \u0441\u043c\u043e\u0436\u0435\u043c \u043f\u043e\u043f\u0440\u043e\u0431\u043e\u0432\u0430\u0442\u044c \u043d\u0430\u043f\u0438\u0441\u0430\u0442\u044c \u043d\u0430\u0448 \u043a\u043b\u0430\u0441\u0441 \u0432 \u0441\u0442\u0438\u043b\u0435:<\/p>\n<pre><code class=\"haskell\">{-# LANGUAGE TypeFamilies, FlexibleContexts #-} class (Show p, Show (Move p)) =&gt; Pokemon p where   data Move p :: *   pickMove :: p -&gt; Move p <\/code><\/pre>\n<p>  \u041c\u044b \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0438\u043b\u0438 \u043d\u0430\u0448 \u043a\u043b\u0430\u0441\u0441 \u041f\u043e\u043a\u0435\u043c\u043e\u043d \u0442\u0430\u043a\u0438\u043c \u043e\u0431\u0440\u0430\u0437\u043e\u043c, \u0447\u0442\u043e \u043e\u043d \u0438\u043c\u0435\u0435\u0442 \u043e\u0434\u0438\u043d \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442 \u0438 \u043e\u0434\u0438\u043d \u0430\u0441\u0441\u043e\u0446\u0438\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u044b\u0439 \u0442\u0438\u043f \u0414\u0432\u0438\u0436\u0435\u043d\u0438\u044f. \u0422\u0438\u043f \u0414\u0432\u0438\u0436\u0435\u043d\u0438\u044f \u0441\u0442\u0430\u043d\u043e\u0432\u0438\u0442\u0441\u044f \u00ab\u0444\u0443\u043d\u043a\u0446\u0438\u0435\u0439 \u0442\u0438\u043f\u0430\u00bb, \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u044e\u0449\u0435\u0439 \u0442\u0438\u043f \u0443\u0434\u0430\u0440\u0430, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u0431\u0443\u0434\u0435\u0442 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u043d. \u042d\u0442\u043e \u043e\u0437\u043d\u0430\u0447\u0430\u0435\u0442, \u0447\u0442\u043e \u043c\u044b \u0431\u0443\u0434\u0435\u043c \u0432\u043c\u0435\u0441\u0442\u043e <code>FireMove<\/code> \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c <code>Move Fire<\/code>, \u0432\u043c\u0435\u0441\u0442\u043e <code>WaterMove<\/code> \u2014 <code>Move Water<\/code> \u0438 \u0442.\u0434.<br \/>  \u0417\u0430\u043c\u0435\u0442\u0438\u043c, \u0447\u0442\u043e \u0437\u0430\u0432\u0438\u0441\u0438\u043c\u043e\u0441\u0442\u044c \u0432\u044b\u0433\u043b\u044f\u0434\u0438\u0442 \u043f\u043e\u0447\u0442\u0438 \u043a\u0430\u043a \u0432 \u043f\u0440\u0435\u0434\u044b\u0434\u0443\u0449\u0435\u043c \u0441\u043b\u0443\u0447\u0430\u0435, \u0442\u043e\u043b\u044c\u043a\u043e \u0432\u043c\u0435\u0441\u0442\u043e <code>Show move<\/code> \u043c\u044b \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u043c <code>Show (Move a))<\/code>. \u041d\u0430\u043c \u043d\u0435\u043e\u0431\u0445\u043e\u0434\u0438\u043c\u043e \u0432\u043a\u043b\u044e\u0447\u0438\u0442\u044c \u0435\u0449\u0451 \u043e\u0434\u043d\u043e \u0434\u043e\u043f\u043e\u043b\u043d\u0435\u043d\u0438\u0435: <code>FlexibleContexts<\/code>, \u0447\u0442\u043e \u0431\u044b \u0440\u0430\u0431\u043e\u0442\u0430\u0442\u044c \u0441 \u044d\u0442\u0438\u043c.<br \/>  \u0422\u0435\u043f\u0435\u0440\u044c \u0425\u0430\u0441\u043a\u0435\u043b\u044c \u043e\u0431\u0435\u0441\u043f\u0435\u0447\u0438\u0432\u0430\u0435\u0442 \u043d\u0430\u0441 \u043e\u0442\u043b\u0438\u0447\u043d\u044b\u043c \u0441\u0438\u043d\u0442\u0430\u043a\u0441\u0438\u0447\u0435\u0441\u043a\u0438\u043c \u0441\u0430\u0445\u0430\u0440\u043e\u043c, \u043f\u043e\u044d\u0442\u043e\u043c\u0443 \u043c\u044b \u043c\u043e\u0436\u0435\u043c \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0438\u0442\u044c \u0430\u043a\u0442\u0443\u0430\u043b\u044c\u043d\u044b\u0439 \u0430\u0441\u0441\u043e\u0446\u0438\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u044b\u0439 \u043a\u043e\u043d\u0441\u0442\u0440\u0443\u043a\u0442\u043e\u0440 \u0434\u0430\u043d\u043d\u044b\u0445 \u0441\u043f\u0440\u0430\u0432\u0430, \u043a\u043e\u0433\u0434\u0430 \u043c\u044b \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u044f\u0435\u043c \u043d\u0430\u0448 \u044d\u043a\u0437\u0435\u043c\u043f\u043b\u044f\u0440.<br \/>  \u0414\u0430\u0432\u0430\u0439\u0442\u0435 \u043f\u0435\u0440\u0435\u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0438\u043c \u0432\u0441\u0435 \u043d\u0430\u0448\u0438 \u0442\u0438\u043f\u044b \u0434\u0430\u043d\u043d\u044b\u0445 \u0438 \u0441\u043e\u0437\u0434\u0430\u0434\u0438\u043c \u043d\u0435\u043e\u0431\u0445\u043e\u0434\u0438\u043c\u044b\u0435 \u044d\u043a\u0437\u0435\u043c\u043f\u043b\u044f\u0440\u044b \u043a\u043b\u0430\u0441\u0441\u0430, \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u044f \u0441\u0435\u043c\u044c\u0438 \u0442\u0438\u043f\u043e\u0432.<\/p>\n<pre><code class=\"haskell\">data Fire = Charmander | Charmeleon | Charizard deriving Show instance Pokemon Fire where   data Move Fire = Ember | FlameThrower | FireBlast deriving Show   pickMove Charmander = Ember   pickMove Charmeleon = FlameThrower   pickMove Charizard = FireBlast  data Water = Squirtle | Wartortle | Blastoise deriving Show instance Pokemon Water where   data Move Water = Bubble | WaterGun deriving Show   pickMove Squirtle = Bubble   pickMove _ = WaterGun  data Grass = Bulbasaur | Ivysaur | Venusaur deriving Show instance Pokemon Grass where   data Move Grass = VineWhip deriving Show   pickMove _ = VineWhip <\/code><\/pre>\n<p>   \u0422\u0435\u043f\u0435\u0440\u044c \u043c\u044b \u043c\u043e\u0436\u0435\u043c \u0441\u043f\u043e\u043a\u043e\u0439\u043d\u043e \u043f\u0438\u0441\u0430\u0442\u044c  <\/p>\n<pre><code class=\"haskell\">pickMove Squirtle <\/code><\/pre>\n<p>  \u0438 \u043f\u043e\u043b\u0443\u0447\u0438\u0442\u044c \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442.<br \/>  \u042d\u0442\u043e \u043a\u0440\u0430\u0441\u0438\u0432\u043e, \u043f\u0440\u0430\u0432\u0434\u0430 \u0436\u0435? \u041d\u0435\u0442 \u0431\u043e\u043b\u044c\u0448\u0435 \u043d\u0435\u043e\u0431\u0445\u043e\u0434\u0438\u043c\u043e\u0441\u0442\u0438 \u043f\u0438\u0441\u0430\u0442\u044c \u043f\u043e\u0434\u043f\u0438\u0441\u0438, \u0434\u043b\u044f \u0442\u043e\u0433\u043e, \u0447\u0442\u043e\u0431\u044b \u0432\u044b\u0431\u0440\u0430\u0442\u044c \u0443\u0434\u0430\u0440.<br \/>  \u041e\u0434\u043d\u0430\u043a\u043e \u0435\u0449\u0451 \u0440\u0430\u043d\u043e \u0441\u0440\u0430\u0432\u043d\u0438\u0432\u0430\u0442\u044c \u0441 \u043d\u0430\u0447\u0430\u043b\u044c\u043d\u044b\u043c \u0432\u0430\u0440\u0438\u0430\u043d\u0442\u043e\u043c. \u041b\u0443\u0447\u0448\u0435 \u0441\u0440\u0430\u0432\u043d\u0438\u0442\u044c \u0444\u0438\u043d\u0430\u043b\u044c\u043d\u044b\u0439 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442, \u0447\u0442\u043e\u0431\u044b \u043f\u043e\u043b\u0443\u0447\u0438\u0442\u044c \u043f\u043e\u043b\u043d\u044b\u0439 \u044d\u0444\u0444\u0435\u043a\u0442 \u043e\u0442 \u0443\u0432\u0438\u0434\u0435\u043d\u043d\u043e\u0433\u043e.  <\/p>\n<h5>\u041d\u043e\u0432\u044b\u0439 \u043a\u043b\u0430\u0441\u0441 \u0411\u0438\u0442\u0432\u044b<\/h5>\n<p>  \u0422\u0435\u043f\u0435\u0440\u044c \u0443\u0436\u0435 \u043d\u0435\u0442 \u043d\u0435\u043e\u0431\u0445\u043e\u0434\u0438\u043c\u043e\u0441\u0442\u0438 \u0432 \u0434\u043b\u0438\u043d\u043d\u043e\u0439 \u043f\u043e\u0434\u043f\u0438\u0441\u0438, \u043f\u043e\u044d\u0442\u043e\u043c\u0443 \u043c\u043e\u0436\u043d\u043e \u0443\u0431\u0440\u0430\u0442\u044c \u043e\u0442\u0432\u0440\u0430\u0442\u0438\u0442\u0435\u043b\u044c\u043d\u044b\u0439 \u043a\u043e\u0441\u0442\u044b\u043b\u044c, \u0438 \u0432\u0435\u0440\u043d\u0443\u0442\u044c \u043f\u043e\u0447\u0442\u0438 \u043f\u0435\u0440\u0432\u043e\u043d\u0430\u0447\u0430\u043b\u044c\u043d\u043e\u0435 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435.<\/p>\n<pre><code class=\"haskell\">class (Pokemon pokemon, Pokemon foe) =&gt; Battle pokemon foe where   battle :: pokemon -&gt; foe -&gt; IO ()   battle pokemon foe = do     printBattle (show pokemon) (show move) (show foe) (show foeMove) (show pokemon)    where     foeMove = pickMove foe     move = pickMove pokemon <\/code><\/pre>\n<p>  \u0418, \u0437\u0430\u043c\u0435\u0442\u044c\u0442\u0435, \u0442\u0435\u043f\u0435\u0440\u044c \u0411\u0438\u0442\u0432\u0435 \u0431\u043e\u043b\u0435\u0435 \u043d\u0435\u0442 \u043d\u0435\u043e\u0431\u0445\u043e\u0434\u0438\u043c\u043e\u0441\u0442\u0438 \u0437\u043d\u0430\u0442\u044c \u0447\u0442\u043e-\u043b\u0438\u0431\u043e \u043f\u0440\u043e \u0443\u0434\u0430\u0440\u044b. \u0418 \u0431\u044c\u044e\u0449\u0438\u0435\u0441\u044f \u043f\u043e\u043a\u0435\u043c\u043e\u043d\u044b \u0432\u044b\u0433\u043b\u044f\u0434\u044f\u0442 \u043f\u043e\u0447\u0442\u0438 \u0442\u0430\u043a \u0436\u0435, \u043a\u0430\u043a \u043d\u0430\u0438\u0432\u043d\u0430\u044f \u0438\u043c\u043f\u043b\u0435\u043c\u0435\u043d\u0442\u0430\u0446\u0438\u044f.<\/p>\n<pre><code class=\"haskell\">instance Battle Water Fire instance Battle Fire Water where   battle = flip battle  instance Battle Grass Water instance Battle Water Grass where   battle = flip battle  instance Battle Fire Grass instance Battle Grass Fire where   battle = flip battle <\/code><\/pre>\n<p>  \u0418\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u043d\u0438\u0435 \u0442\u043e\u0436\u0435 \u043f\u0440\u043e\u0441\u0442\u043e:  <\/p>\n<pre><code class=\"haskell\">  battle Squirtle Charmander <\/code><\/pre>\n<p>  \u042d\u0442\u043e \u0432\u0441\u0451! \u041d\u0430\u0448\u0430 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0430 \u043d\u0430\u043a\u043e\u043d\u0435\u0446 \u043f\u0440\u0438\u043e\u0431\u0440\u0435\u043b\u0430 \u043e\u0442\u043b\u0438\u0447\u043d\u044b\u0439 \u0432\u0438\u0434, \u043c\u044b \u0443\u043b\u0443\u0447\u0448\u0438\u043b\u0438 \u0435\u0451, \u0438 \u043f\u0440\u043e\u0432\u0435\u0440\u0449\u0438\u043a \u0442\u0438\u043f\u043e\u0432 \u043f\u0440\u043e\u0432\u0435\u0440\u044f\u0435\u0442 \u0431\u043e\u043b\u044c\u0448\u0435, \u043c\u0435\u043d\u044c\u0448\u0435 \u043f\u043e\u0432\u0442\u043e\u0440\u044f\u0435\u043c \u0438 \u0438\u043c\u0435\u0435\u043c \u0447\u0438\u0441\u0442\u0443\u044e API \u0434\u043b\u044f \u0442\u043e\u0433\u043e, \u0447\u0442\u043e \u0431\u044b \u043f\u0440\u0435\u0434\u043b\u0430\u0433\u0430\u0442\u044c \u0435\u0451 \u0434\u0440\u0443\u0433\u0438\u043c \u0440\u0430\u0437\u0440\u0430\u0431\u043e\u0442\u0447\u0438\u043a\u0430\u043c.<\/p>\n<p>  \u041a\u043b\u0430\u0441\u0441\u043d\u043e! \u041c\u044b \u0441\u0434\u0435\u043b\u0430\u043b\u0438 \u044d\u0442\u043e! \u041d\u0430\u0434\u0435\u044e\u0441\u044c, \u0432\u0430\u043c \u043f\u043e\u043d\u0440\u0430\u0432\u0438\u043b\u043e\u0441\u044c!<br \/>  \u041b\u0430\u0434\u043d\u043e-\u043b\u0430\u0434\u043d\u043e. \u042f \u043f\u043e\u043d\u044f\u043b, \u0447\u0442\u043e \u0432\u0430\u043c \u0432\u0435\u0441\u0435\u043b\u043e \u0438 \u0432\u044b \u043d\u0435 \u043c\u043e\u0436\u0435\u0442\u0435 \u043f\u043e\u0432\u0435\u0440\u0438\u0442\u044c, \u0447\u0442\u043e \u0432\u0441\u0451 \u0443\u0436\u0435 \u0437\u0430\u043a\u043e\u043d\u0447\u0438\u043b\u043e\u0441\u044c, \u043f\u043e\u0442\u043e\u043c\u0443 \u0447\u0442\u043e \u0432\u0430\u0448 \u0441\u043a\u0440\u043e\u043b\u0431\u0430\u0440 \u0432 \u0431\u0440\u0430\u0443\u0437\u0435\u0440\u0435 \u043f\u043e\u043a\u0430\u0437\u044b\u0432\u0430\u0435\u0442, \u0447\u0442\u043e \u0435\u0449\u0451 \u0435\u0441\u0442\u044c \u043c\u0435\u0441\u0442\u043e \u043f\u043e\u043d\u0438\u0436\u0435 \u044d\u0442\u043e\u0439 \u0444\u0440\u0430\u0437\u044b.<\/p>\n<p>  \u0427\u0442\u043e \u0436\u0435, \u0434\u0430\u0432\u0430\u0439\u0442\u0435 \u0434\u043e\u0431\u0430\u0432\u0438\u043c \u0435\u0449\u0451 \u043e\u0434\u043d\u0443 \u0432\u0435\u0449\u044c \u0432 \u041c\u0438\u0440 \u041f\u043e\u043a\u0435\u043c\u043e\u043d\u043e\u0432.<br \/>  \u0421\u0435\u0439\u0447\u0430\u0441 \u043c\u044b \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0438\u043b\u0438 \u043d\u0430\u0448\u0438 \u044d\u043a\u0437\u0435\u043c\u043f\u043b\u044f\u0440\u044b \u0411\u0438\u0442\u0432\u044b \u0434\u043b\u044f \u0441\u0442\u0438\u0445\u0438\u0439 <code>Water<\/code> \u0438 <code>Fire<\/code> \u043a\u0430\u043a <code>Battle Water Fire<\/code>, \u0438 \u0437\u0430\u0442\u0435\u043c <code>Battle Water Fire<\/code> \u0442\u0430\u043a\u0438\u043c \u0436\u0435 \u0441\u0430\u043c\u044b\u043c \u043a\u0430\u043a \u0438 \u043f\u0440\u0435\u0434\u044b\u0434\u0443\u0449\u0438\u0439, \u0441 \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442\u0430\u043c\u0438 \u043f\u043e\u043c\u0435\u043d\u044f\u043d\u043d\u044b\u043c\u0438 \u043c\u0435\u0441\u0442\u0430\u043c\u0438. \u041f\u0435\u0440\u0432\u044b\u0439 \u043f\u043e\u043a\u0435\u043c\u043e\u043d \u0432\u0441\u0435\u0433\u0434\u0430 \u0432\u044b\u0438\u0433\u0440\u044b\u0432\u0430\u0435\u0442, \u0438 \u0432\u044b\u0432\u043e\u0434\u0438\u0442\u0441\u044f \u0432\u0441\u0435\u0433\u0434\u0430 \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0435\u0435:  <\/p>\n<pre><code class=\"haskell\">-- Winner Pokemon move -- Loser Pokemon move -- Winner pokemon Wins. <\/code><\/pre>\n<p>  \u0414\u0430\u0436\u0435 \u043a\u043e\u0433\u0434\u0430 \u044d\u043a\u0437\u0435\u043c\u043f\u043b\u044f\u0440 \u0438\u043c\u0435\u0435\u0442 \u0432\u043d\u0430\u0447\u0430\u043b\u0435 \u043f\u0440\u043e\u0438\u0433\u0440\u0430\u0432\u0448\u0435\u0433\u043e, \u043f\u0435\u0440\u0432\u044b\u043c \u0432\u044b\u0432\u043e\u0434\u0438\u0442\u0441\u044f \u043d\u0430 \u044d\u043a\u0440\u0430\u043d \u0431\u0443\u0434\u0435\u0442 \u0430\u0442\u0430\u043a\u0430 \u043f\u043e\u0431\u0435\u0434\u0438\u0442\u0435\u043b\u044f.<br \/>  \u0414\u0430\u0432\u0430\u0439\u0442\u0435 \u0432\u0441\u0451 \u0436\u0435 \u0437\u0430\u043c\u0435\u043d\u0438\u043c \u044d\u0442\u043e, \u0438 \u0434\u0430\u0434\u0438\u043c \u0432\u043e\u0437\u043c\u043e\u0436\u043d\u043e\u0441\u0442\u044c \u044d\u043a\u0437\u0435\u043c\u043f\u043b\u044f\u0440\u0430\u043c \u0440\u0435\u0448\u0430\u0442\u044c, \u043a\u0442\u043e \u043f\u043e\u0431\u0435\u0434\u0438\u0442 \u0432 \u0431\u043e\u0440\u044c\u0431\u0435, \u0438 \u043c\u044b \u0441\u043c\u043e\u0436\u0435\u043c \u043f\u043e\u043b\u0443\u0447\u0438\u0442\u044c   <\/p>\n<pre><code class=\"haskell\">-- Loser Pokemon move -- Winner Pokemon move -- Winner pokemon Wins <\/code><\/pre>\n<p>  <\/p>\n<h4>\u0410\u0441\u0441\u043e\u0446\u0438\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u044b\u0435 \u0421\u0438\u043d\u043e\u043d\u0438\u043c\u044b \u0442\u0438\u043f\u043e\u0432<\/h4>\n<p>  \u041a\u043e\u0433\u0434\u0430 \u043c\u044b \u0440\u0435\u0448\u0430\u0435\u043c \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0442\u044c \u0432\u044b\u0431\u043e\u0440 \u0434\u0432\u0443\u0445 \u0442\u0438\u043f\u043e\u0432, \u043c\u044b \u043e\u0431\u044b\u0447\u043d\u043e \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u043c <code>Either a b<\/code>, \u043d\u043e \u044d\u0442\u043e \u0432 \u0440\u0430\u043d-\u0442\u0430\u0439\u043c\u0435, \u043c\u044b \u0436\u0435 \u0445\u043e\u0442\u0438\u043c, \u0447\u0442\u043e \u0431\u044b \u043f\u0440\u043e\u0432\u0435\u0440\u0449\u0438\u043a \u0442\u0438\u043f\u043e\u0432 \u0431\u044b\u043b \u0443\u0432\u0435\u0440\u0435\u043d, \u0447\u0442\u043e \u043a\u043e\u0433\u0434\u0430 \u0431\u0443\u0434\u0443\u0442 \u0434\u0440\u0430\u0442\u044c\u0441\u044f \u0441\u0442\u0438\u0445\u0438\u0438 \u041e\u0433\u043e\u043d\u044c \u0438 \u0412\u043e\u0434\u0430, \u0412\u043e\u0434\u0430 \u0431\u0443\u0434\u0435\u0442 \u0432\u0441\u0435\u0433\u0434\u0430 \u043f\u043e\u0431\u0435\u0434\u0438\u0442\u0435\u043b\u0435\u043c.<br \/>  \u041f\u043e\u044d\u0442\u043e\u043c\u0443 \u043c\u044b \u0434\u043e\u0431\u0430\u0432\u0438\u043c \u043d\u043e\u0432\u0443\u044e \u0444\u0443\u043d\u043a\u0446\u0438\u044e \u0432 \u0411\u0438\u0442\u0432\u0443 \u0438 \u043d\u0430\u0437\u043e\u0432\u0451\u043c \u0435\u0451 <i>\u043f\u043e\u0431\u0435\u0434\u0438\u0442\u0435\u043b\u044c<\/i>, \u043a\u043e\u0442\u043e\u0440\u0430\u044f \u0431\u0443\u0434\u0435\u0442 \u043f\u043e\u043b\u0443\u0447\u0430\u0442\u044c 2 \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442\u0430 \u0432 \u0442\u043e\u043c \u0436\u0435 \u0441\u0430\u043c\u043e\u043c \u043f\u0440\u044f\u0434\u043a\u0435, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u0431\u044b\u043b\u0438 \u043f\u043e\u043b\u0443\u0447\u0435\u043d\u044b \u0444\u0443\u043d\u043a\u0446\u0438\u0435\u0439 \u0431\u0438\u0442\u0432\u044b, \u0438 \u0440\u0435\u0448\u0438\u043c \u043a\u0442\u043e \u0431\u0443\u0434\u0435\u0442 \u0432\u044b\u0438\u0433\u0440\u044b\u0432\u0430\u0442\u044c.<br \/>  \u041e\u0434\u043d\u0430\u043a\u043e \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0442\u044c \u043e\u0434\u043d\u043e \u0438\u0437 \u043d\u0435\u0441\u043a\u043e\u043b\u044c\u043a\u0438\u0445 \u0432\u0430\u0440\u0438\u0430\u043d\u0442\u043e\u0432 \u0432\u044b\u0437\u044b\u0432\u0430\u0435\u0442 \u043d\u0435\u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0451\u043d\u043d\u043e\u0441\u0442\u044c \u0432\u044b\u0431\u043e\u0440\u0430 \u043f\u043e\u0434\u043f\u0438\u0441\u0438 \u0443 \u043f\u043e\u0431\u0435\u0434\u0438\u0442\u0435\u043b\u044f.<\/p>\n<pre><code class=\"haskell\">class Battle pokemon foe where .. winner :: pokemon -&gt; foe -&gt; ??? -- \u0422\u0430\u043a \u0447\u0442\u043e \u0436\u0435, 'pokemon' \u0438\u043b\u0438 'foe'?  instance Battle Water Fire where   winner :: Water -&gt; Fire -&gt; Water -- Water \u043f\u0435\u0440\u0432\u0430\u044f \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u0430\u044f \u043a\u043b\u0430\u0441\u0441\u0430 : pokemon   winner water _ = water  instance Battle Fire Water where   winner :: Fire -&gt; Water -&gt; Water -- Water \u0432\u0442\u043e\u0440\u0430\u044f \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u0430\u044f \u043a\u043b\u0430\u0441\u0441\u0430: foe   winner _ water = water <\/code><\/pre>\n<p>  \u0412\u0438\u0434\u0438\u0442\u0435, \u0434\u043b\u044f <code>Battle Water Fire<\/code> \u044d\u043a\u0437\u0435\u043c\u043f\u043b\u044f\u0440\u0430 \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u0442\u0441\u044f \u0442\u0438\u043f \u043f\u043e\u0431\u0435\u0434\u0438\u0442\u0435\u043b\u044f \u0442\u0430\u043a\u043e\u0433\u043e \u0436\u0435, \u043a\u0430\u043a \u0438 <code>pokemon<\/code>, \u0430 \u0443 <code>Battle Fire Water<\/code> \u044d\u0442\u043e \u0443\u0436\u0435 \u0431\u0443\u0434\u0435\u0442 <code>foe<\/code>.<\/p>\n<p>  \u041a \u0441\u0447\u0430\u0441\u0442\u044c\u044e, \u0441\u0435\u043c\u044c\u0438 \u0442\u0438\u043f\u043e\u0432 \u0442\u0430\u043a \u0436\u0435 \u043f\u043e\u0434\u0434\u0435\u0440\u0436\u0438\u0432\u0430\u044e\u0442 \u0430\u0441\u0441\u043e\u0446\u0438\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u044b\u0435 \u0441\u0438\u043d\u043e\u043d\u0438\u043c\u044b \u0442\u0438\u043f\u043e\u0432. \u0412 \u043a\u043b\u0430\u0441\u0441\u0435 \u0411\u0438\u0442\u0432\u044b \u043c\u044b \u0431\u0443\u0434\u0435\u0442 \u0438\u043c\u0435\u0442\u044c <code>Winner pokemon foo<\/code>, \u0430 \u0432 \u044d\u043a\u0437\u0435\u043c\u043f\u043b\u044f\u0440\u0430\u0445 \u0431\u0443\u0434\u0435\u043c \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u044f\u0442\u044c, \u043a\u0442\u043e \u0436\u0435 \u0438\u0437 \u043d\u0438\u0445 \u0438\u043c \u0431\u0443\u0434\u0435\u0442. \u041c\u044b \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u043c \u0442\u0438\u043f, \u0430 \u043d\u0435 \u0434\u0430\u043d\u043d\u044b\u0435, \u043f\u043e\u0442\u043e\u043c\u0443 \u0447\u0442\u043e \u044d\u0442\u043e \u0432\u0441\u0435\u0433\u043e \u043b\u0438\u0448\u044c \u0441\u0438\u043d\u043e\u043d\u0438\u043c <code>pokemon<\/code> \u0438\u043b\u0438 <code>foe<\/code>.<br \/>  \u0421\u0430\u043c\u043e\u0441\u0442\u043e\u044f\u0442\u0435\u043b\u044c\u043d\u043e <code>Winner<\/code> \u044f\u0432\u043b\u044f\u0435\u0442\u0441\u044f \u0444\u0443\u043d\u043a\u0446\u0438\u0435\u0439 \u0442\u0438\u043f\u0430 \u0441 \u043f\u043e\u0434\u043f\u0438\u0441\u044c\u044e \u0432\u0438\u0434\u043e\u0432 <code>* -&gt; * -&gt; *<\/code>, \u043a\u043e\u0442\u043e\u0440\u0430\u044f \u043f\u043e\u043b\u0443\u0447\u0430\u0435\u0442 \u043e\u0431\u043e\u0438\u0445 <code>pokemon<\/code> \u0438 <code>foo<\/code>, \u0438 \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u0442 \u043e\u0434\u043d\u043e\u0433\u043e \u0438\u0437 \u043d\u0438\u0445.<br \/>  \u041c\u044b \u0442\u0430\u043a \u0436\u0435 \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0438\u043c \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u044e \u043f\u043e \u0443\u043c\u043e\u043b\u0447\u0430\u043d\u0438\u044e, \u043a\u043e\u0442\u043e\u0440\u0430\u044f \u0431\u0443\u0434\u0435\u0442 \u0432\u044b\u0431\u0438\u0440\u0430\u0442\u044c <code>pokemon<\/code><\/p>\n<pre><code class=\"haskell\">class (Show (Winner pokemon foe), Pokemon pokemon, Pokemon foe) =&gt; Battle pokemon foe where   type Winner pokemon foe :: *      -- \u044d\u0442\u043e \u0430\u0441\u0441\u043e\u0446\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u044b\u0439 \u0442\u0438\u043f   type Winner pokemon foe = pokemon -- \u044d\u0442\u043e \u0435\u0433\u043e \u0438\u043c\u043f\u043b\u0435\u043c\u0435\u043d\u0442\u0430\u0446\u0438\u044f \u043f\u043e \u0443\u043c\u043e\u043b\u0447\u0430\u043d\u0438\u044e    battle :: pokemon -&gt; foe -&gt; IO ()   battle pokemon foe = do     printBattle (show pokemon) (show move) (show foe) (show foeMove) (show winner)    where     foeMove = pickMove foe     move = pickMove pokemon     winner = pickWinner pokemon foe      pickWinner :: pokemon -&gt; foe -&gt; (Winner pokemon foe) <\/code><\/pre>\n<p>  \u042d\u043a\u0437\u0435\u043c\u043f\u043b\u044f\u0440\u044b \u0441\u043e\u0437\u0434\u0430\u044e\u0442\u0441\u044f \u0442\u0430\u043a:<\/p>\n<pre><code class=\"haskell\">instance Battle Water Fire where   pickWinner pokemon foe = pokemon  instance Battle Fire Water where   type Winner Fire Water = Water   pickWinner = flip pickWinner <\/code><\/pre>\n<p>   \u0422\u0435\u043f\u0435\u0440\u044c \u0443\u0436 \u0442\u043e\u0447\u043d\u043e \u0432\u0441\u0451.<br \/>  \u041e\u043a\u043e\u043d\u0447\u0430\u0442\u0435\u043b\u044c\u043d\u044b\u0439 \u0432\u0430\u0440\u0438\u0430\u043d\u0442 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u044b \u0442\u0430\u043a\u043e\u0432:  <\/p>\n<div class=\"spoiler\"><b class=\"spoiler_title\">\u041e\u043a\u043e\u043d\u0447\u0430\u0442\u0435\u043b\u044c\u043d\u044b\u0439 \u0432\u0430\u0440\u0438\u0430\u043d\u0442 \u0431\u0438\u0442\u0432 \u043f\u043e\u043a\u0435\u043c\u043e\u043d\u043e\u0432<\/b><\/p>\n<div class=\"spoiler_text\">\n<pre><code class=\"haskell\">{-# LANGUAGE TypeFamilies, MultiParamTypeClasses, FlexibleContexts #-} class (Show pokemon, Show (Move pokemon)) =&gt; Pokemon pokemon where   data Move pokemon :: *   pickMove :: pokemon -&gt; Move pokemon  data Fire = Charmander | Charmeleon | Charizard deriving Show instance Pokemon Fire where   data Move Fire = Ember | FlameThrower | FireBlast deriving Show   pickMove Charmander = Ember   pickMove Charmeleon = FlameThrower   pickMove Charizard = FireBlast  data Water = Squirtle | Wartortle | Blastoise deriving Show instance Pokemon Water where   data Move Water = Bubble | WaterGun deriving Show   pickMove Squirtle = Bubble   pickMove _ = WaterGun  data Grass = Bulbasaur | Ivysaur | Venusaur deriving Show instance Pokemon Grass where   data Move Grass = VineWhip deriving Show   pickMove _ = VineWhip  printBattle :: String -&gt; String -&gt; String -&gt; String -&gt; String -&gt; IO () printBattle pokemonOne moveOne pokemonTwo moveTwo winner = do   putStrLn $ pokemonOne ++ &quot; used &quot; ++ moveOne   putStrLn $ pokemonTwo ++ &quot; used &quot; ++ moveTwo   putStrLn $ &quot;Winner is: &quot; ++ winner ++ &quot;\\n&quot;  class (Show (Winner pokemon foe), Pokemon pokemon, Pokemon foe) =&gt; Battle pokemon foe where   type Winner pokemon foe :: *   type Winner pokemon foe = pokemon    battle :: pokemon -&gt; foe -&gt; IO ()   battle pokemon foe = do     printBattle (show pokemon) (show move) (show foe) (show foeMove) (show winner)    where     foeMove = pickMove foe     move = pickMove pokemon     winner = pickWinner pokemon foe      pickWinner :: pokemon -&gt; foe -&gt; (Winner pokemon foe)  instance Battle Water Fire where   pickWinner pokemon foe = pokemon  instance Battle Fire Water where   type Winner Fire Water = Water   pickWinner = flip pickWinner  instance Battle Grass Water where   pickWinner pokemon foe = pokemon  instance Battle Water Grass where   type Winner Water Grass = Grass   pickWinner = flip pickWinner  instance Battle Fire Grass where   pickWinner pokemon foe = pokemon  instance Battle Grass Fire where   type Winner Grass Fire = Fire   pickWinner = flip pickWinner      main :: IO () main = do   battle Squirtle Charmander   battle Charmeleon Wartortle   battle Bulbasaur Blastoise   battle Wartortle Ivysaur   battle Charmeleon Ivysaur   battle Venusaur Charizard <\/code><\/pre>\n<p>  <\/div>\n<\/div>\n<p>  \u0422\u0435\u043f\u0435\u0440\u044c \u043c\u043e\u0436\u043d\u043e \u0441\u0432\u043e\u0435\u0433\u043e \u042d\u043b\u0435\u043a\u0442\u0440\u0438\u0447\u0435\u0441\u043a\u043e\u0433\u043e \u043f\u043e\u043a\u0435\u043c\u043e\u043d\u0430 \u043e\u0447\u0435\u043d\u044c \u043f\u0440\u043e\u0441\u0442\u043e \u0434\u043e\u0431\u0430\u0432\u0438\u0442\u044c! \u041f\u043e\u043f\u0440\u043e\u0431\u0443\u0439\u0442\u0435!<\/p>\n<p>  <i>P.S. \u041e\u0440\u0438\u0433\u0438\u043d\u0430\u043b \u0441\u0442\u0430\u0442\u044c\u0438 <a href=\"https:\/\/www.fpcomplete.com\/user\/nubis\/type-families-and-pokemon\">Type Families and Pokemon<\/a> <br \/>  \u0421\u0442\u0430\u0442\u044c\u044f \u043f\u0435\u0447\u0430\u0442\u0430\u0435\u0442\u0441\u044f \u0441 \u0441\u043e\u043a\u0440\u0430\u0449\u0435\u043d\u0438\u044f\u043c\u0438, \u043f\u043e\u0441\u043a\u043e\u043b\u044c\u043a\u0443 \u043f\u0440\u0435\u0434\u043d\u0430\u0437\u043d\u0430\u0447\u0435\u043d\u0430 \u0434\u043b\u044f \u0438\u043d\u0442\u0435\u0440\u0430\u043a\u0442\u0438\u0432\u043d\u043e\u0433\u043e \u0432\u0437\u0430\u0438\u043c\u043e\u0434\u0435\u0439\u0441\u0442\u0432\u0438\u044f.<\/i>   \t<\/p>\n<div class=\"clear\"><\/div>\n<\/p><\/div>\n<p> \u0441\u0441\u044b\u043b\u043a\u0430 \u043d\u0430 \u043e\u0440\u0438\u0433\u0438\u043d\u0430\u043b \u0441\u0442\u0430\u0442\u044c\u0438 <a href=\"http:\/\/habrahabr.ru\/post\/187272\/\"> http:\/\/habrahabr.ru\/post\/187272\/<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"<div class=\"content html_format\">\n<h4>\u041f\u0440\u0435\u0434\u0438\u0441\u043b\u043e\u0432\u0438\u0435<\/h4>\n<p>  \u041a\u043e\u0433\u0434\u0430 \u044f \u043d\u0430\u0447\u0430\u043b \u0438\u0437\u0443\u0447\u0430\u0442\u044c \u0425\u0430\u0441\u043a\u0435\u043b\u044c, \u044f \u0431\u044b\u043b \u043f\u043e\u0447\u0442\u0438 \u0441\u0440\u0430\u0437\u0443 \u043f\u043e\u0440\u0430\u0436\u0451\u043d. \u0414\u043b\u044f \u043d\u0430\u0447\u0430\u043b\u0430, \u043d\u044b\u0440\u043d\u0443\u0432 \u0441 \u0433\u043e\u043b\u043e\u0432\u043e\u0439 \u0432 \u0430\u043a\u0442\u0443\u0430\u043b\u044c\u043d\u044b\u0435 \u0440\u0430\u0431\u043e\u0447\u0438\u0435 \u043f\u0440\u043e\u0435\u043a\u0442\u044b, \u043e\u0442\u043a\u0440\u044b\u043b, \u0447\u0442\u043e \u0431\u043e\u043b\u044c\u0448\u0438\u043d\u0441\u0442\u0432\u043e \u043d\u0430\u0441\u0442\u043e\u044f\u0449\u0438\u0445 \u0431\u0438\u0431\u043b\u0438\u043e\u0442\u0435\u043a \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u044e\u0442 \u044f\u0437\u044b\u043a\u043e\u0432\u044b\u0435 \u0440\u0430\u0441\u0448\u0438\u0440\u0435\u043d\u0438\u044f, \u043f\u0440\u0438\u0441\u0443\u0442\u0441\u0442\u0432\u0443\u044e\u0449\u0438\u0435 \u0442\u043e\u043b\u044c\u043a\u043e \u0432 GHC (Glasgow Haskell Compiler). \u042d\u0442\u043e \u043c\u0435\u043d\u044f \u043f\u043e\u043a\u043e\u0440\u043e\u0431\u0438\u043b\u043e \u0441\u043b\u0435\u0433\u043a\u0430, \u043f\u0440\u0435\u0436\u0434\u0435 \u0432\u0441\u0435\u0433\u043e \u043f\u043e\u0442\u043e\u043c\u0443, \u043a\u0442\u043e \u0437\u0430\u0445\u043e\u0447\u0435\u0442 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c \u044f\u0437\u044b\u043a \u043d\u0430\u0441\u0442\u043e\u043b\u044c\u043a\u043e \u043d\u0435\u043c\u043e\u0449\u043d\u044b\u0439, \u0447\u0442\u043e \u0431\u0443\u0434\u0435\u0442 \u043d\u0435\u043e\u0431\u0445\u043e\u0434\u0438\u043c\u043e \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c \u0440\u0430\u0441\u0448\u0438\u0440\u0435\u043d\u0438\u044f, \u043f\u0440\u0438\u0441\u0443\u0442\u0441\u0442\u0432\u0443\u044e\u0449\u0438\u0435 \u043b\u0438\u0448\u044c \u0443 \u043e\u0434\u043d\u043e\u0433\u043e \u043f\u043e\u0441\u0442\u0430\u0432\u0449\u0438\u043a\u0430. \u0412\u0435\u0434\u044c \u0442\u0430\u043a?<br \/>  \u0425\u043e\u0440\u043e\u0448\u043e, \u044f \u0440\u0435\u0448\u0438\u043b\u0441\u044f \u0441\u043d\u043e\u0432\u0430 \u044d\u0442\u043e \u043e\u0441\u0438\u043b\u0438\u0442\u044c \u0438 \u0443\u0437\u043d\u0430\u0442\u044c \u0432\u0441\u0451 \u043e\u0431 \u044d\u0442\u0438\u0445 \u0440\u0430\u0441\u0448\u0438\u0440\u0435\u043d\u0438\u044f\u0445, \u0438 \u044f \u0432\u044b\u0432\u0435\u043b \u0442\u0440\u0438 \u0433\u043e\u0440\u044f\u0447\u0438\u0445 \u0442\u043e\u043f\u0438\u043a\u0430 \u0434\u043b\u044f \u043e\u0431\u0449\u0435\u0441\u0442\u0432\u0430 \u0425\u0430\u0441\u043a\u0435\u043b\u044f, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u0440\u0435\u0448\u0430\u043b\u0438 \u043f\u043e\u0445\u043e\u0436\u0438\u0435 \u043f\u0440\u043e\u0431\u043b\u0435\u043c\u044b: \u041e\u0431\u043e\u0431\u0449\u0451\u043d\u043d\u044b\u0435 \u0410\u043b\u0433\u0435\u0431\u0440\u0430\u0438\u0447\u0435\u0441\u043a\u0438\u0435 \u0422\u0438\u043f\u044b \u0414\u0430\u043d\u043d\u044b\u0445, \u0421\u0435\u043c\u044c\u0438 \u0422\u0438\u043f\u043e\u0432 \u0438 \u0424\u0443\u043d\u043a\u0446\u0438\u043e\u043d\u0430\u043b\u044c\u043d\u044b\u0435 \u0417\u0430\u0432\u0438\u0441\u0438\u043c\u043e\u0441\u0442\u0438. \u041f\u044b\u0442\u0430\u044f\u0441\u044c \u043d\u0430\u0439\u0442\u0438 \u0440\u0435\u0441\u0443\u0440\u0441\u044b, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u043e\u0431\u0443\u0447\u0430\u044e\u0442 \u043e \u043d\u0438\u0445, \u044f \u0441\u043c\u043e\u0433 \u043d\u0430\u0439\u0442\u0438 \u0442\u043e\u043b\u044c\u043a\u043e \u0441\u0442\u0430\u0442\u044c\u0438, \u043e\u043f\u0438\u0441\u044b\u0432\u0430\u044e\u0449\u0438\u0435, \u0447\u0442\u043e \u044d\u0442\u043e \u0442\u0430\u043a\u043e\u0435, \u0438 \u043a\u0430\u043a \u0438\u0445 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c. \u041d\u043e \u043d\u0438\u043a\u0442\u043e, \u043d\u0430 \u0441\u0430\u043c\u043e\u043c \u0434\u0435\u043b\u0435, \u043d\u0435 \u043e\u0431\u044a\u044f\u0441\u043d\u044f\u043b \u0437\u0430\u0447\u0435\u043c \u043e\u043d\u0438 \u043d\u0443\u0436\u043d\u044b!.. \u041f\u043e\u044d\u0442\u043e\u043c\u0443 \u044f \u0440\u0435\u0448\u0438\u043b \u043d\u0430\u043f\u0438\u0441\u0430\u0442\u044c \u044d\u0442\u0443 \u0441\u0442\u0430\u0442\u044c\u044e, \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u044f \u0434\u0440\u0443\u0436\u0435\u0441\u0442\u0432\u0435\u043d\u043d\u044b\u0439 \u043f\u0440\u0438\u043c\u0435\u0440, \u043f\u044b\u0442\u0430\u044f\u0441\u044c \u043e\u0431\u044a\u044f\u0441\u043d\u0438\u0442\u044c \u0437\u0430\u0447\u0435\u043c \u0432\u0441\u0451-\u0442\u0430\u043a\u0438 \u043d\u0443\u0436\u043d\u044b \u0421\u0435\u043c\u044c\u0438 \u0422\u0438\u043f\u043e\u0432.<\/p>\n<p>  <img decoding=\"async\" src=\"http:\/\/habrastorage.org\/storage2\/989\/946\/059\/9899460598e394cb692d0c1bd0051b10.jpg\"\/><\/p>\n<p>  \u0412\u044b \u043a\u043e\u0433\u0434\u0430-\u043d\u0438\u0431\u0443\u0434\u044c \u0441\u043b\u044b\u0448\u0430\u043b\u0438 \u043f\u0440\u043e \u041f\u043e\u043a\u0435\u043c\u043e\u043d\u043e\u0432? \u042d\u0442\u043e \u0437\u0430\u043c\u0435\u0447\u0430\u0442\u0435\u043b\u044c\u043d\u044b\u0435 \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u0430, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u043d\u0430\u0441\u0435\u043b\u044f\u044e\u0442 \u041c\u0438\u0440 \u041f\u043e\u043a\u0435\u043c\u043e\u043d\u043e\u0432. \u0412\u044b \u043c\u043e\u0436\u0435\u0442\u0435 \u0441\u0447\u0438\u0442\u0430\u0442\u044c, \u0447\u0442\u043e \u043e\u043d\u0438 \u043a\u0430\u043a \u0436\u0438\u0432\u043e\u0442\u043d\u044b\u0435 \u0441 \u044d\u043a\u0441\u0442\u0440\u0430\u043e\u0440\u0434\u0438\u043d\u0430\u0440\u043d\u044b\u043c\u0438 \u0441\u043f\u043e\u0441\u043e\u0431\u043d\u043e\u0441\u0442\u044f\u043c\u0438. \u0412\u0441\u0435 \u043f\u043e\u043a\u0435\u043c\u043e\u043d\u044b \u0432\u043b\u0430\u0434\u0435\u044e\u0442 \u0441\u0442\u0438\u0445\u0438\u0435\u0439, \u0438 \u0432\u0441\u0435 \u0438\u0445 \u0432\u043e\u0437\u043c\u043e\u0436\u043d\u043e\u0441\u0442\u0438 \u0437\u0430\u0432\u0438\u0441\u044f\u0442 \u043e\u0442 \u044d\u0442\u043e\u0439 \u0441\u0442\u0438\u0445\u0438\u0438. \u041d\u0430\u043f\u0440\u0438\u043c\u0435\u0440, \u043f\u043e\u043a\u0435\u043c\u043e\u043d \u041e\u0433\u043d\u0435\u043d\u043d\u043e\u0439 \u0441\u0442\u0438\u0445\u0438\u0438 \u043c\u043e\u0436\u0435\u0442 \u0434\u044b\u0448\u0430\u0442\u044c \u043e\u0433\u043d\u0451\u043c, \u0432 \u0442\u043e \u0432\u0440\u0435\u043c\u044f \u043a\u0430\u043a \u043f\u043e\u043a\u0435\u043c\u043e\u043d \u0412\u043e\u0434\u043d\u043e\u0439 \u0441\u0442\u0438\u0445\u0438\u0438 \u043c\u043e\u0436\u0435\u0442 \u0431\u0440\u044b\u0437\u0433\u0430\u0442\u044c \u0441\u0442\u0440\u0443\u044f\u043c\u0438 \u0432\u043e\u0434\u044b.<br \/>  \u041f\u043e\u043a\u0435\u043c\u043e\u043d\u044b \u043f\u0440\u0438\u043d\u0430\u0434\u043b\u0435\u0436\u0430\u0442 \u043b\u044e\u0434\u044f\u043c, \u0438 \u0438\u0445 \u0441\u043f\u0435\u0446\u0438\u0430\u043b\u044c\u043d\u044b\u0435 \u0441\u043f\u043e\u0441\u043e\u0431\u043d\u043e\u0441\u0442\u0438 \u043c\u043e\u0433\u0443\u0442 \u0431\u044b\u0442\u044c \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u043d\u044b \u0432\u043e \u0431\u043b\u0430\u0433\u043e \u0434\u043b\u044f \u043f\u0440\u043e\u0434\u0443\u043a\u0442\u0438\u0432\u043d\u043e\u0439 \u0434\u0435\u044f\u0442\u0435\u043b\u044c\u043d\u043e\u0441\u0442\u0438, \u043d\u043e \u043d\u0435\u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u043b\u044e\u0434\u0438 \u0432\u0441\u0435\u0433\u043e \u043b\u0438\u0448\u044c \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u044e\u0442 \u0441\u0432\u043e\u0438\u0445 \u043f\u043e\u043a\u0435\u043c\u043e\u043d\u043e\u0432 \u0434\u043b\u044f \u0431\u043e\u0440\u044c\u0431\u044b \u0441 \u0434\u0440\u0443\u0433\u0438\u043c\u0438 \u043f\u043e\u043a\u0435\u043c\u043e\u043d\u0430\u043c\u0438 \u0434\u0440\u0443\u0433\u0438\u0445 \u043b\u044e\u0434\u0435\u0439. \u042d\u0442\u0438 \u043b\u044e\u0434\u0438 \u043d\u0430\u0437\u044b\u0432\u0430\u044e\u0442 \u0441\u0435\u0431\u044f \u0422\u0440\u0435\u043d\u0435\u0440\u0430\u043c\u0438 \u041f\u043e\u043a\u0435\u043c\u043e\u043d\u043e\u0432. \u042d\u0442\u043e \u043c\u043e\u0436\u0435\u0442 \u0441\u043d\u0430\u0447\u0430\u043b\u0430 \u0437\u0432\u0443\u0447\u0430\u0442\u044c \u043a\u0430\u043a \u0436\u0435\u0441\u0442\u043e\u043a\u043e\u0435 \u043e\u0431\u0440\u0430\u0449\u0435\u043d\u0438\u0435 \u0441 \u0436\u0438\u0432\u043e\u0442\u043d\u044b\u043c\u0438, \u043d\u043e \u044d\u0442\u043e \u043e\u0447\u0435\u043d\u044c \u0434\u0430\u0436\u0435 \u0432\u0435\u0441\u0435\u043b\u043e \u0438 \u0432\u0441\u0435, \u043f\u043e\u0445\u043e\u0436\u0435, \u0440\u0430\u0434\u044b, \u0432\u043a\u043b\u044e\u0447\u0430\u044f \u043f\u043e\u043a\u0435\u043c\u043e\u043d\u043e\u0432. \u0418\u043c\u0435\u0439\u0442\u0435 \u0432 \u0432\u0438\u0434\u0443, \u0447\u0442\u043e \u0432 \u043c\u0438\u0440\u0435 \u043f\u043e\u043a\u0435\u043c\u043e\u043d\u043e\u0432, \u043a\u0430\u0436\u0435\u0442\u0441\u044f, \u0432\u0441\u0451 \u0432 \u043f\u043e\u0440\u044f\u0434\u043a\u0435, \u0434\u0430\u0436\u0435 \u0435\u0441\u043b\u0438 10-\u043b\u0435\u0442\u043d\u0438\u0435 \u043f\u043e\u043a\u0438\u0434\u0430\u044e\u0442 \u0434\u043e\u043c, \u0434\u0430\u0431\u044b \u0440\u0438\u0441\u043a\u043e\u0432\u0430\u0442\u044c \u0441\u0432\u043e\u0438\u043c\u0438 \u0436\u0438\u0437\u043d\u044f\u043c\u0438 \u0440\u0430\u0434\u0438 \u0442\u043e\u0433\u043e, \u0447\u0442\u043e\u0431\u044b \u0441\u0442\u0430\u0442\u044c \u0441\u0430\u043c\u044b\u043c\u0438 \u043b\u0443\u0447\u0448\u0438\u043c\u0438 \u0422\u0440\u0435\u043d\u0435\u0440\u0430\u043c\u0438 \u041f\u043e\u043a\u0435\u043c\u043e\u043d\u043e\u0432, \u043a\u0430\u043a \u0431\u0443\u0434\u0442\u043e \u043d\u0438\u043a\u0442\u043e \u0438 \u043d\u0438\u043a\u043e\u0433\u0434\u0430 \u0442\u0430\u043a\u043e\u0432\u044b\u043c\u0438 \u043d\u0435 \u0441\u0442\u0430\u043d\u043e\u0432\u0438\u043b\u0441\u044f.<\/p>\n<p>  \u041c\u044b \u0441\u043e\u0431\u0438\u0440\u0430\u0435\u043c\u0441\u044f \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c \u0425\u0430\u0441\u043a\u0435\u043b\u044c \u0434\u043b\u044f \u0442\u043e\u0433\u043e, \u0447\u0442\u043e \u0431\u044b \u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u0438\u0442\u044c \u043e\u0433\u0440\u0430\u043d\u0438\u0447\u0435\u043d\u043d\u0443\u044e (\u0438 \u0434\u0430\u0436\u0435 \u043d\u0435\u0441\u043a\u043e\u043b\u044c\u043a\u043e \u0443\u043f\u0440\u043e\u0449\u0451\u043d\u043d\u0443\u044e, \u0434\u0430 \u043f\u0440\u043e\u0441\u0442\u044f\u0442 \u043c\u0435\u043d\u044f \u0444\u0430\u043d\u0430\u0442\u044b) \u0447\u0430\u0441\u0442\u044c \u043c\u0438\u0440\u0430 \u043f\u043e\u043a\u0435\u043c\u043e\u043d\u043e\u0432. <\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[],"tags":[],"class_list":["post-187272","post","type-post","status-publish","format-standard","hentry"],"_links":{"self":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/posts\/187272","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=187272"}],"version-history":[{"count":0,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/posts\/187272\/revisions"}],"wp:attachment":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=187272"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=187272"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=187272"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}