{"id":290774,"date":"2018-10-15T04:05:01","date_gmt":"2018-10-15T00:05:01","guid":{"rendered":"http:\/\/savepearlharbor.com\/?p=290774"},"modified":"-0001-11-30T00:00:00","modified_gmt":"-0001-11-29T21:00:00","slug":"","status":"publish","type":"post","link":"https:\/\/savepearlharbor.com\/?p=290774","title":{"rendered":"\u0412\u0435\u043b\u0438\u043a\u0430\u044f \u0441\u0438\u043b\u0430 newtypes"},"content":{"rendered":"\n
\u041d\u043e\u0432\u044b\u0439\u0422\u0438\u043f (newtype<\/b>) \u2014 \u044d\u0442\u043e \u0441\u043f\u0435\u0446\u0438\u0430\u043b\u0438\u0437\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u043e\u0435 \u043e\u0431\u044a\u044f\u0432\u043b\u0435\u043d\u0438\u0435 \u0442\u0438\u043f\u0430 \u0434\u0430\u043d\u043d\u044b\u0445. \u0422\u0430\u043a\u043e\u0435, \u0447\u0442\u043e \u0441\u043e\u0434\u0435\u0440\u0436\u0438\u0442 \u043b\u0438\u0448\u044c \u043e\u0434\u0438\u043d \u043a\u043e\u043d\u0441\u0442\u0440\u0443\u043a\u0442\u043e\u0440 \u0438 \u043f\u043e\u043b\u0435. <\/p>\n
newtype Foo a = Bar a newtype Id = MkId Word <\/code><\/pre>\n
    <\/p>\n
\u0422\u0438\u043f\u0438\u0447\u043d\u044b\u0435 \u0432\u043e\u043f\u0440\u043e\u0441\u044b \u043d\u043e\u0432\u0438\u0447\u043a\u0430<\/h3>\n
  \u0412 \u0447\u0451\u043c \u0436\u0435 \u043e\u0442\u043b\u0438\u0447\u0438\u0435 \u043e\u0442 data<\/b> \u0442\u0438\u043f\u0430 \u0434\u0430\u043d\u043d\u044b\u0445?<\/i>  <\/p>\n
data Foo a = Bar a data Id = MkId Word <\/code><\/pre>\n
  \u0413\u043b\u0430\u0432\u043d\u0430\u044f \u0441\u043f\u0435\u0446\u0438\u0444\u0438\u043a\u0430 newtype<\/b> \u0441\u043e\u0441\u0442\u043e\u0438\u0442 \u0432 \u0442\u043e\u043c, \u0447\u0442\u043e \u043e\u043d \u0441\u043e\u0441\u0442\u043e\u0438\u0442 \u0438\u0437 \u0442\u0435\u0445 \u0436\u0435 \u0447\u0430\u0441\u0442\u0435\u0439, \u0447\u0442\u043e \u0438 \u0435\u0433\u043e \u0435\u0434\u0438\u043d\u0441\u0442\u0432\u0435\u043d\u043d\u043e\u0435 \u043f\u043e\u043b\u0435. \u0411\u043e\u043b\u0435\u0435 \u0442\u043e\u0447\u043d\u043e \u2014 \u043e\u0442\u043b\u0438\u0447\u0430\u044f\u0441\u044c \u043e\u0442 \u043e\u0440\u0438\u0433\u0438\u043d\u0430\u043b\u0430 \u043d\u0430 \u0443\u0440\u043e\u0432\u043d\u0435 \u0442\u0438\u043f\u0430, \u043d\u043e \u0438\u043c\u0435\u0435\u0442 \u0442\u0430\u043a\u043e\u0435 \u0436\u0435 \u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043b\u0435\u043d\u0438\u0435 \u0432 \u043f\u0430\u043c\u044f\u0442\u0438, \u0434\u0430 \u0438 \u0432\u044b\u0447\u0438\u0441\u043b\u044f\u0435\u0442\u0441\u044f \u0441\u0442\u0440\u043e\u0433\u043e (\u043d\u0435 \u043b\u0435\u043d\u0438\u0432\u043e).
  \u0415\u0441\u043b\u0438 \u0432\u043a\u0440\u0430\u0442\u0446\u0435 \u2014 newtype<\/b> \u0431\u043e\u043b\u0435\u0435 \u044d\u0444\u0444\u0435\u043a\u0442\u0438\u0432\u043d\u044b \u0431\u043b\u0430\u0433\u043e\u0434\u0430\u0440\u044f \u0441\u0432\u043e\u0435\u043c\u0443 \u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043b\u0435\u043d\u0438\u044e.<\/p>\n
  \u0414\u0430 \u044d\u0442\u043e \u043d\u0438\u0447\u0435\u0433\u043e \u043d\u0435 \u0437\u043d\u0430\u0447\u0438\u0442 \u0434\u043b\u044f \u043c\u0435\u043d\u044f\u2026 \u0411\u0443\u0434\u0443 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c data<\/b><\/i>
  \u041d\u0435, \u043d\u0443 \u0432 \u043a\u043e\u043d\u0446\u0435-\u043a\u043e\u043d\u0446\u043e\u0432, \u0432\u0441\u0435\u0433\u0434\u0430 \u043c\u043e\u0436\u043d\u043e \u0432\u043a\u043b\u044e\u0447\u0438\u0442\u044c \u0440\u0430\u0441\u0448\u0438\u0440\u0435\u043d\u0438\u0435 -funpack-strict-fields<\/b> \ud83d\ude42 \u0434\u043b\u044f \u0441\u0442\u0440\u043e\u0433\u0438\u0445(\u043d\u0435 \u043b\u0435\u043d\u0438\u0432\u044b\u0445) \u043f\u043e\u043b\u0435\u0439 \u0438\u043b\u0438 \u0443\u043a\u0430\u0437\u0430\u0442\u044c \u043f\u0440\u044f\u043c\u043e  <\/p>\n
data Id = MkId !Word <\/code><\/pre>\n
  \u0412\u0441\u0451 \u0436\u0435 \u0441\u0438\u043b\u0430 newtype<\/b> \u043d\u0435 \u043e\u0433\u0440\u0430\u043d\u0438\u0447\u0438\u0432\u0430\u0435\u0442\u0441\u044f \u043b\u0438\u0448\u044c \u044d\u0444\u0444\u0435\u043a\u0442\u0438\u0432\u043d\u043e\u0441\u0442\u044c\u044e \u0432\u044b\u0447\u0438\u0441\u043b\u0435\u043d\u0438\u0439. \u041e\u043d\u0438 \u0437\u043d\u0430\u0447\u0438\u0442\u0435\u043b\u044c\u043d\u043e \u0441\u0438\u043b\u044c\u043d\u0435\u0435!<\/a><\/p>\n
3 \u0440\u043e\u043b\u0438 newtype<\/b><\/h2>\n
  <\/p>\n
\u0418\u043c\u043f\u043b\u0435\u043c\u0435\u043d\u0442\u0430\u0446\u0438\u044f \u0441\u043e\u043a\u0440\u044b\u0442\u0438\u044f<\/h3>\n
  <\/p>\n
module Data.Id (Id()) where newtype Id = MkId Word <\/code><\/pre>\n
  newtype<\/b> \u043e\u0442\u043b\u0438\u0447\u0430\u044f\u0441\u044c \u043e\u0442 \u043e\u0440\u0438\u0433\u0438\u043d\u0430\u043b\u0430, \u0432\u043d\u0443\u0442\u0440\u0435\u043d\u043d\u0435 \u0432\u0441\u0435\u0433\u043e \u043b\u0438\u0448\u044c Word<\/b>.
  \u041d\u043e \u043c\u044b \u0441\u043a\u0440\u044b\u0432\u0430\u0435\u043c \u043a\u043e\u043d\u0441\u0442\u0440\u0443\u043a\u0442\u043e\u0440 MkId<\/b> \u0432\u043d\u0435 \u043c\u043e\u0434\u0443\u043b\u044f.<\/p>\n
\u0418\u043c\u043f\u043b\u0435\u043c\u0435\u043d\u0442\u0430\u0446\u0438\u044f \u0440\u0430\u0441\u043f\u0440\u043e\u0441\u0442\u0440\u0430\u043d\u0435\u043d\u0438\u044f<\/h3>\n
  <\/p>\n
{-# LANGUAGE GeneralizedNewtypeDeriving #-} newtype Id = MkId Word deriving (Num, Eq) <\/code><\/pre>\n
  \u0425\u043e\u0442\u044f \u044d\u0442\u043e\u0433\u043e \u043d\u0435\u0442 \u0432 \u0441\u0442\u0430\u043d\u0434\u0430\u0440\u0442\u0435 Haskell2010, \u0431\u043b\u0430\u0433\u043e\u0434\u0430\u0440\u044f \u0440\u0430\u0441\u0448\u0438\u0440\u0435\u043d\u0438\u044e \u0432\u044b\u0432\u0434\u0435\u043d\u0438\u044f \u043e\u0431\u043e\u0431\u0449\u0451\u043d\u043d\u044b\u0445 \u043d\u043e\u0432\u044b\u0445\u0422\u0438\u043f\u043e\u0432, \u043c\u043e\u0436\u043d\u043e \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u0438 \u0432\u044b\u0432\u0435\u0441\u0442\u0438 \u043f\u043e\u0432\u0435\u0434\u0435\u043d\u0438\u0435 newtype<\/b> \u0442\u0430\u043a\u0438\u043c \u0436\u0435, \u043a\u0430\u043a \u0438 \u043f\u043e\u0432\u0435\u0434\u0435\u043d\u0438\u0435 \u0432\u043d\u0443\u0442\u0440\u0435\u043d\u043d\u0435\u0433\u043e \u043f\u043e\u043b\u044f. \u0412 \u043d\u0430\u0448\u0435\u043c \u0441\u043b\u0443\u0447\u0430\u0435 \u043f\u043e\u0432\u0435\u0434\u0435\u043d\u0438\u0435 Eq Id<\/b> \u0438 Num Id<\/b> \u0442\u0430\u043a\u0438\u043c \u0436\u0435, \u043a\u0430\u043a \u0438 Eq Word<\/b> \u0438 Num Word<\/b>.
  \u0417\u043d\u0430\u0447\u0438\u0442\u0435\u043b\u044c\u043d\u043e \u0431\u043e\u043b\u044c\u0448\u0435\u0433\u043e \u043c\u043e\u0436\u043d\u043e \u0434\u043e\u0431\u0438\u0442\u044c\u0441\u044f \u0431\u043b\u0430\u0433\u043e\u0434\u0430\u0440\u044f \u0440\u0430\u0441\u0448\u0438\u0440\u0435\u043d\u0438\u044e \u0443\u0442\u043e\u0447\u043d\u0451\u043d\u043d\u043e\u0433\u043e \u0432\u044b\u0432\u0435\u0434\u0435\u043d\u0438\u044f (DerivingVia<\/b>), \u043d\u043e \u043e\u0431 \u044d\u0442\u043e\u043c \u0447\u0443\u0442\u044c \u043f\u043e\u0437\u0436\u0435.<\/p>\n
\u0418\u043c\u043f\u043b\u0435\u043c\u0435\u043d\u0442\u0430\u0446\u0438\u044f \u0432\u044b\u0431\u043e\u0440\u0430<\/h3>\n
  \u041d\u0435\u0441\u043c\u043e\u0442\u0440\u044f \u043d\u0430 \u0441\u043e\u0431\u0441\u0442\u0432\u0435\u043d\u043d\u044b\u0439 \u043a\u043e\u043d\u0441\u0442\u0440\u0443\u043a\u0442\u043e\u0440, \u0432 \u043d\u0435\u043a\u043e\u0442\u043e\u0440\u044b\u0445 \u0441\u043b\u0443\u0447\u0430\u044f\u0445 \u043c\u043e\u0436\u043d\u043e \u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c\u0441\u044f \u0441\u0432\u043e\u0438\u043c \u0432\u043d\u0443\u0442\u0440\u0435\u043d\u043d\u0438\u043c \u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043b\u0435\u043d\u0438\u0435\u043c.<\/p>\n
\u0417\u0430\u0434\u0430\u0447\u0430<\/h4>\n
  \u0418\u043c\u0435\u0435\u0442\u0441\u044f \u0441\u043f\u0438\u0441\u043e\u043a \u0446\u0435\u043b\u044b\u0445 \u0447\u0438\u0441\u0435\u043b. \u041d\u0430\u0439\u0442\u0438 \u043c\u0430\u043a\u0441\u0438\u043c\u0443\u043c \u0438 \u043e\u0431\u0449\u0443\u044e \u0441\u0443\u043c\u043c\u0443 \u0437\u0430 \u0432\u0441\u0435\u0433\u043e \u043e\u0434\u0438\u043d \u043f\u0440\u043e\u0445\u043e\u0434 \u043f\u043e \u0441\u043f\u0438\u0441\u043a\u0443.
  \u0418 \u043d\u0435 \u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c\u0441\u044f \u043f\u0430\u043a\u0435\u0442\u0430\u043c\u0438 foldl<\/b> \u0438 folds<\/b>.<\/p>\n
\u0422\u0438\u043f\u0438\u0447\u043d\u044b\u0439 \u043e\u0442\u0432\u0435\u0442<\/h4>\n
  \u041a\u043e\u043d\u0435\u0447\u043d\u043e, fold<\/b>! \ud83d\ude42  <\/p>\n
foldr :: Foldable t => (a -> b -> b) -> b -> t a -> b {- -- instance Foldable [] foldr :: (a -> b -> b) -> b -> [a] -> b -} <\/code><\/pre>\n
  \u0418, \u0438\u0442\u043e\u0433\u043e\u0432\u0430\u044f \u0444\u0443\u043d\u043a\u0446\u0438\u044f \u043e\u043f\u0438\u0441\u044b\u0432\u0430\u0435\u0442\u0441\u044f \u0442\u0430\u043a:  <\/p>\n
aggregate :: [Integer] -> (Maybe Integer, Integer) aggregate = foldr       (\\el (m, s) -> (Just el `max` m, el + s))       (Nothing, 0)  {- ghci> aggregate [1, 2, 3, 4] (Just 4, 10) -} <\/code><\/pre>\n
  \u0415\u0441\u043b\u0438 \u043f\u0440\u0438\u0441\u043c\u043e\u0442\u0440\u0435\u0442\u044c\u0441\u044f, \u043c\u043e\u0436\u043d\u043e \u0443\u0432\u0438\u0434\u0435\u0442\u044c \u043f\u043e\u0434\u043e\u0431\u043d\u044b\u0435 \u043e\u043f\u0435\u0440\u0430\u0446\u0438\u0438 \u043f\u043e \u043e\u0431\u0435 \u0441\u0442\u043e\u0440\u043e\u043d\u044b: Just el `max` m<\/b> \u0438 el + s<\/b>. \u0412 \u043e\u0431\u043e\u0438\u0445 \u0441\u043b\u0443\u0447\u0430\u044f\u0445 \u2014 \u043c\u044d\u043f\u043f\u0438\u043d\u0433 \u0438 \u0431\u0438\u043d\u0430\u0440\u043d\u0430\u044f \u043e\u043f\u0435\u0440\u0430\u0446\u0438\u044f. \u0418 \u043f\u0443\u0441\u0442\u044b\u0435 \u044d\u043b\u0435\u043c\u0435\u043d\u0442\u044b \u2014 Nothing<\/b> \u0438 0<\/b>.
  \u0414\u0430, \u044d\u0442\u043e \u043c\u043e\u043d\u043e\u0438\u0434\u044b!  <\/p>\n
Monoid \u0438 Semigroup \u0434\u0435\u0442\u0430\u043b\u044c\u043d\u0435\u0435<\/b><\/p>\n
\u041f\u043e\u043b\u0443\u0433\u0440\u0443\u043f\u043f\u0430 \u2014 \u044d\u0442\u043e \u0441\u0432\u043e\u0439\u0441\u0442\u0432\u043e \u0430\u0441\u0441\u043e\u0446\u0438\u0430\u0442\u0438\u0432\u043d\u043e\u0439 \u0431\u0438\u043d\u0430\u0440\u043d\u043e\u0439 \u043e\u043f\u0435\u0440\u0430\u0446\u0438\u0438  <\/p>\n
x \u22c4 (y \u22c4 z) == (x \u22c4 y) \u22c4 z <\/code><\/pre>\n
  \u041c\u043e\u043d\u043e\u0438\u0434 \u2014 \u044d\u0442\u043e \u0441\u0432\u043e\u0439\u0441\u0442\u0432\u043e \u0430\u0441\u0441\u043e\u0446\u0438\u0430\u0442\u0438\u0432\u043d\u043e\u0439 \u043e\u043f\u0435\u0440\u0430\u0446\u0438\u0438 (\u0442\u043e \u0435\u0441\u0442\u044c \u043f\u043e\u043b\u0443\u0433\u0440\u0443\u043f\u043f\u044b)  <\/p>\n
x \u22c4 (y \u22c4 z) == (x \u22c4 y) \u22c4 z <\/code><\/pre>\n
  \u043a\u043e\u0442\u043e\u0440\u043e\u0435 \u0438\u043c\u0435\u0435\u0442 \u043f\u0443\u0441\u0442\u043e\u0439 \u044d\u043b\u0435\u043c\u0435\u043d\u0442, \u043d\u0435 \u043c\u0435\u043d\u044f\u044e\u0449\u0438\u0439 \u043b\u044e\u0431\u043e\u0439 \u044d\u043b\u0435\u043c\u0435\u043d\u0442 \u043d\u0438 \u0441\u043f\u0440\u0430\u0432\u0430, \u043d\u0438 \u0441\u043b\u0435\u0432\u0430  <\/p>\n
x \u22c4 empty  ==  x  ==  empty \u22c4 x <\/code><\/pre>\n
  <\/div>\n<\/div>\n
  \u041e\u0431\u0430 max<\/b> \u0438 (+)<\/b> \u2014 \u0430\u0441\u0441\u043e\u0446\u0438\u0430\u0442\u0438\u0432\u043d\u044b, \u043e\u0431\u0430 \u0438\u043c\u0435\u044e\u0442 \u043f\u0443\u0441\u0442\u044b\u0435 \u044d\u043b\u0435\u043c\u0435\u043d\u0442\u044b \u2014 Nothing<\/b> \u0438 0<\/b>.
  \u0410 \u043e\u0431\u044a\u0435\u0434\u0438\u043d\u0435\u043d\u0438\u0435 \u043c\u044d\u043f\u043f\u0438\u043d\u0433\u0430 \u043c\u043e\u043d\u043e\u0438\u0434\u043e\u0432 \u0432\u043c\u0435\u0441\u0442\u0435 \u0441\u043e \u0441\u0432\u0451\u0440\u0442\u043a\u043e\u0439 \u2014 \u044d\u0442\u043e \u0436\u0435 Foldable<\/b>(\u0441\u0432\u043e\u0440\u0430\u0447\u0438\u0432\u0430\u0435\u043c\u043e\u0441\u0442\u044c)!  <\/p>\n
Foldable \u0434\u0435\u0442\u0430\u043b\u044c\u043d\u0435\u0435<\/b><\/p>\n
\u041d\u0430\u043f\u043e\u043c\u043d\u0438\u043c \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0435\u043d\u0438\u0435 \u0441\u0432\u043e\u0440\u0430\u0447\u0438\u0432\u0430\u0435\u043c\u043e\u0441\u0442\u0438:  <\/p>\n
class Foldable t where        foldMap :: (Monoid m) => (a -> m) -> t a -> m       ... <\/code><\/pre>\n
  <\/div>\n<\/div>\n
  \u0414\u0430\u0432\u0430\u0439\u0442\u0435 \u043f\u0440\u0438\u043c\u0435\u043d\u0438\u043c \u043f\u043e\u0432\u0435\u0434\u0435\u043d\u0438\u0435 \u0441\u0432\u043e\u0440\u0430\u0447\u0438\u0432\u0430\u0435\u043c\u043e\u0441\u0442\u0438 \u043a max<\/b> \u0438 (+)<\/b>. \u041c\u044b \u0441\u043c\u043e\u0436\u0435\u043c \u043e\u0440\u0433\u0430\u043d\u0438\u0437\u043e\u0432\u0430\u0442\u044c \u043d\u0435 \u0431\u043e\u043b\u0435\u0435 \u043e\u0434\u043d\u043e\u0439 \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u0438 \u043c\u043e\u043d\u043e\u0438\u0434\u0430 Word<\/b>. \u0421\u0430\u043c\u043e\u0435 \u0432\u0440\u0435\u043c\u044f \u0432\u043e\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c\u0441\u044f \u0438\u043c\u043f\u043b\u0435\u043c\u0435\u043d\u0442\u0430\u0446\u0438\u0435\u0439 \u0432\u044b\u0431\u043e\u0440\u0430 newtype<\/b>!  <\/p>\n
{-# LANGUAGE GeneralizedNewtypeDeriving #-}  -- already in Data.Semigroup & Data.Monoid  newtype Sum a = Sum {getSum :: a}     deriving (Num, Eq, Ord)  instance (Num a, Ord a) => Semigroup (Sum a) where     (<>) = (+)  instance (Num a, Ord a) => Monoid (Sum a) where     mempty = Sum 0  newtype Max a = Max {getMax :: a}     deriving (Num, Eq, Ord)  instance (Num a, Ord a) => Semigroup (Max a) where     (<>) = max <\/code><\/pre>\n
  \u041d\u0435\u043e\u0431\u0445\u043e\u0434\u0438\u043c\u043e \u0441\u0434\u0435\u043b\u0430\u0442\u044c \u0440\u0435\u043c\u0430\u0440\u043a\u0443.
  \u0414\u0435\u043b\u043e \u0432 \u0442\u043e\u043c, \u0447\u0442\u043e \u0434\u043b\u044f \u0442\u043e\u0433\u043e, \u0447\u0442\u043e\u0431\u044b \u0431\u044b\u0442\u044c \u043c\u043e\u043d\u043e\u0438\u0434\u043e\u043c \u0434\u043b\u044f \u0442\u0438\u043f\u0430 \u0434\u0430\u043d\u043d\u044b\u0445 Max a<\/b>, \u043d\u0430\u043c \u043d\u0435\u043e\u0431\u0445\u043e\u0434\u0438\u043c \u043c\u0438\u043d\u0438\u043c\u0430\u043b\u044c\u043d\u044b\u0439 \u044d\u043b\u0435\u043c\u0435\u043d\u0442, \u0442\u043e \u0435\u0441\u0442\u044c \u0447\u0442\u043e\u0431 \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u043e\u0432\u0430\u043b \u043f\u0443\u0441\u0442\u043e\u0439 \u044d\u043b\u0435\u043c\u0435\u043d\u0442. \u0410 \u0437\u043d\u0430\u0447\u0438\u0442, \u043c\u043e\u043d\u043e\u0438\u0434\u043e\u043c \u043c\u043e\u0436\u0435\u0442 \u0431\u044b\u0442\u044c \u043b\u0438\u0448\u044c \u043e\u0433\u0440\u0430\u043d\u0438\u0447\u0435\u043d\u043d\u044b\u0439 Max a<\/b>.  <\/p>\n
\u0422\u0435\u043e\u0440\u0435\u0442\u0438\u0447\u0435\u0441\u043a\u0438 \u043f\u0440\u0430\u0432\u0438\u043b\u044c\u043d\u044b\u0439 \u043c\u043e\u043d\u043e\u0438\u0434 \u043c\u0430\u043a\u0441\u0438\u043c\u0430\u043b\u044c\u043d\u043e\u0433\u043e \u044d\u043b\u0435\u043c\u0435\u043d\u0442\u0430<\/b><\/p>\n
\n
newtype Max a = Max a instance Ord a => Semigroup (Max a) instance Bounded a => Monoid (Max a) <\/code><\/pre>\n
  <\/div>\n<\/div>\n
  \u0422\u0430\u043a \u0447\u0442\u043e \u043d\u0430\u043c \u043a\u0430\u043a-\u0442\u043e \u043f\u0440\u0438\u0434\u0451\u0442\u0441\u044f \u043a\u043e\u043d\u0432\u0435\u0440\u0442\u0438\u0440\u043e\u0432\u0430\u0442\u044c \u043d\u0430\u0448 \u0442\u0438\u043f \u0434\u0430\u043d\u043d\u044b\u0445 \u0434\u043b\u044f \u0442\u043e\u0433\u043e, \u0447\u0442\u043e\u0431\u044b \u043f\u043e\u044f\u0432\u0438\u043b\u0441\u044f \u043f\u0443\u0441\u0442\u043e\u0439 \u044d\u043b\u0435\u043c\u0435\u043d\u0442 \u0438 \u043c\u044b \u043c\u043e\u0433\u043b\u0438 \u0431\u044b \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c \u0441\u0432\u0451\u0440\u0442\u044b\u0432\u0430\u0435\u043c\u043e\u0441\u0442\u044c.  <\/p>\n
-- already in Prelude data Maybe a = Nothing | Just a  instance Semigroup a => Semigroup (Maybe a) where     Nothing <> b = b     b <> Nothing = b     (Just a) <> (Just b) = Just (a <> b)  instance Semigroup a => Monoid (Maybe a) where     mempty = Nothing  -- ------ instance Functor Maybe where     fmap _ Nothing = Nothing     fmap f (Just b) = Just (f b) <\/code><\/pre>\n
  \u0421\u043e\u043f\u0440\u044f\u0436\u0451\u043d\u043d\u044b\u0439 \u044d\u043b\u0435\u043c\u0435\u043d\u0442 Maybe<\/b> \u043f\u0440\u0435\u0432\u0440\u0430\u0449\u0430\u0435\u0442 \u043f\u043e\u043b\u0443\u0433\u0440\u0443\u043f\u043f\u0443 \u0432 \u043c\u043e\u043d\u043e\u0438\u0434!  <\/p>\n
\u041b\u0438\u0431\u0435\u0440\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u044f \u043e\u0433\u0440\u0430\u043d\u0438\u0447\u0435\u043d\u0438\u0439 \u0432 \u0441\u0432\u0435\u0436\u0438\u0445 \u0432\u0435\u0440\u0441\u0438\u044f\u0445 GHC<\/b><\/p>\n
\u0415\u0449\u0451 \u0432 GHC 8.2 \u0442\u0440\u0435\u0431\u043e\u0432\u0430\u043b\u0441\u044f \u043c\u043e\u043d\u043e\u0438\u0434 \u0432 \u043e\u0433\u0440\u0430\u043d\u0438\u0447\u0435\u043d\u0438\u0438 \u0442\u0438\u043f\u0430  <\/p>\n
instance Monoid a => Monoid (Maybe a) <\/code><\/pre>\n
  \u0430 \u0437\u043d\u0430\u0447\u0438\u0442 \u043d\u0430\u043c \u0431\u044b\u043b \u043d\u0435\u043e\u0431\u0445\u043e\u0434\u0438\u043c \u0435\u0449\u0451 \u043e\u0434\u0438\u043d \u043d\u043e\u0432\u044b\u0439\u0422\u0438\u043f:  <\/p>\n
-- already in Data.Semigroup & Data.Monoid  newtype Option a = Option {getOption :: Maybe a}     deriving (Eq, Ord, Semigroup)  instance (Ord a, Semigroup a) => Monoid (Option a) where     mempty = Option Nothing <\/code><\/pre>\n
  \u0418 \u0437\u043d\u0430\u0447\u0438\u0442\u0435\u043b\u044c\u043d\u043e \u043f\u0440\u043e\u0449\u0435 \u0443\u0436\u0435 \u0432 GHC 8.4, \u0433\u0434\u0435 \u043d\u0435\u043e\u0431\u0445\u043e\u0434\u0438\u043c\u0430 \u043b\u0438\u0448\u044c \u043f\u043e\u043b\u0443\u0433\u0440\u0443\u043f\u043f\u0430 \u0432 \u043e\u0433\u0440\u0430\u043d\u0438\u0447\u0435\u043d\u0438\u0438 \u0442\u0438\u043f\u0430, \u0438 \u0434\u0430\u0436\u0435 \u043d\u0435\u0442 \u043d\u0435\u043e\u0431\u0445\u043e\u0434\u0438\u043c\u043e\u0441\u0442\u0438 \u0432 \u0441\u043e\u0437\u0434\u0430\u043d\u0438\u0438 \u0442\u0438\u043f\u0430 \u041e\u043f\u0446\u0438\u044f.  <\/p>\n
instance Semigroup a => Monoid (Maybe a) <\/code><\/pre>\n
  <\/div>\n<\/div>\n
  <\/p>\n
\u041e\u0442\u0432\u0435\u0442 \u0441 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u043d\u0438\u0435\u043c \u0441\u0432\u043e\u0440\u0430\u0447\u0438\u0432\u0430\u0435\u043c\u043e\u0441\u0442\u0438<\/h4>\n
  \u0427\u0442\u043e \u0436, \u0442\u0435\u043f\u0435\u0440\u044c \u043e\u0431\u043d\u043e\u0432\u0438\u043c \u043a\u043e\u0434, \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u044f \u0441\u0432\u043e\u0440\u0430\u0447\u0438\u0432\u0430\u0435\u043c\u043e\u0441\u0442\u044c \u0438 \u0441\u0442\u0440\u0435\u043b\u043a\u0438.
  \u0412\u0441\u043f\u043e\u043c\u0438\u043d\u0430\u0435\u043c, \u0447\u0442\u043e (.) \u2014 \u0432\u0441\u0435\u0433\u043e \u043b\u0438\u0448\u044c \u0444\u0443\u043d\u043a\u0446\u0438\u043e\u043d\u0430\u043b\u044c\u043d\u0430\u044f \u043a\u043e\u043c\u043f\u043e\u0437\u0438\u0446\u0438\u044f:  <\/p>\n
 (.) :: (b -> c) -> (a -> b) -> a -> c  f . g = \\x -> f (g x)<\/code><\/pre>\n
  \u0418 \u0432\u0441\u043f\u043e\u043c\u0438\u043d\u0430\u0435\u043c, \u0447\u0442\u043e fmap<\/b> \u2014 \u0444\u0443\u043d\u043a\u0442\u043e\u0440:  <\/p>\n
fmap :: Functor f => (a -> b) -> f a -> f b<\/code><\/pre>\n
  \u0430 \u0435\u0451 \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u044f \u0434\u043b\u044f Maybe<\/b> \u043e\u043f\u0438\u0441\u0430\u043d\u0430 \u0447\u0443\u0442\u044c \u0432\u044b\u0448\u0435.  <\/p>\n
Arrow \u0434\u0435\u0442\u0430\u043b\u044c\u043d\u0435\u0435<\/b><\/p>\n
\u0421\u0442\u0440\u0435\u043b\u043a\u0438 \u2014 \u044d\u0442\u043e \u0441\u0432\u043e\u0439\u0441\u0442\u0432\u0430 \u043d\u0435\u043a\u043e\u0442\u043e\u0440\u044b\u0445 \u0444\u0443\u043d\u043a\u0446\u0438\u0439, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u043f\u043e\u0437\u0432\u043e\u043b\u044f\u044e\u0442 \u0440\u0430\u0431\u043e\u0442\u0430\u0442\u044c \u0441 \u043d\u0438\u043c\u0438 \u0431\u043b\u043e\u043a-\u0441\u0445\u0435\u043c\u043d\u043e.
  \u0411\u043e\u043b\u0435\u0435 \u0434\u0435\u0442\u0430\u043b\u044c\u043d\u043e, \u043c\u043e\u0436\u043d\u043e \u043f\u043e\u0441\u043c\u043e\u0442\u0440\u0435\u0442\u044c \u0442\u0443\u0442: Arrows: A General Interface to Computation<\/a>
  \u0412 \u043d\u0430\u0448\u0435\u043c \u0441\u043b\u0443\u0447\u0430\u0435 \u043c\u044b \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u043c \u0421\u0442\u0440\u0435\u043b\u043a\u0438 \u0444\u0443\u043d\u043a\u0446\u0438\u0438
  \u0422\u043e \u0435\u0441\u0442\u044c  <\/p>\n
instance Arrow (->)<\/code><\/pre>\n
  \u041c\u044b \u0431\u0443\u0434\u0435\u043c \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c \u0444\u0443\u043d\u043a\u0446\u0438\u0438:  <\/p>\n
(***) :: Arrow a => a b c -> a b' c' -> a (b, b') (c, c') (&&&) :: Arrow a => a b c -> a b c' -> a b (c, c')<\/code><\/pre>\n
  \u0414\u043b\u044f \u043d\u0430\u0448\u0435\u0433\u043e \u0441\u043b\u0443\u0447\u0430\u044f <\/p>\n
a b c   ==   (->) b c   ==   b -> c<\/code><\/pre>\n
  \u0418, \u0441\u043e\u043e\u0442\u0432\u0435\u0442\u0441\u0442\u0432\u0435\u043d\u043d\u043e, \u043f\u043e\u0434\u043f\u0438\u0441\u044c \u043d\u0430\u0448\u0438\u0445 \u0444\u0443\u043d\u043a\u0446\u0438\u0439 \u0441\u043e\u043a\u0440\u0430\u0449\u0430\u0435\u0442\u0441\u044f \u0434\u043e:  <\/p>\n
(***) :: (b -> c) -> (b' -> c') -> ((b, b') -> (c, c')) (&&&) :: (b -> c) -> (b -> c') -> (b -> (c, c'))<\/code><\/pre>\n
  \u0418\u043b\u0438 \u0441\u043e\u0432\u0441\u0435\u043c \u043f\u0440\u043e\u0441\u0442\u044b\u043c\u0438 \u0441\u043b\u043e\u0432\u0430\u043c\u0438, \u0444\u0443\u043d\u043a\u0446\u0438\u044f (***)<\/b> \u043e\u0431\u044a\u0435\u0434\u0438\u043d\u044f\u0435\u0442 \u0434\u0432\u0435 \u0444\u0443\u043d\u043a\u0446\u0438\u0438 \u0441 \u043e\u0434\u043d\u0438\u043c \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442\u043e\u043c(\u0438 \u043e\u0434\u043d\u0438\u043c \u0432\u044b\u0445\u043e\u0434\u043d\u044b\u043c \u0442\u0438\u043f\u043e\u043c) \u0432 \u0444\u0443\u043d\u043a\u0446\u0438\u044e \u0441 \u0440\u0430\u0431\u043e\u0442\u043e\u0439 \u043f\u0430\u0440\u044b \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442\u043e\u0432 \u043d\u0430 \u0432\u0445\u043e\u0434\u0435, \u0438 \u043d\u0430 \u0432\u044b\u0445\u043e\u0434\u0435, \u0441\u043e\u043e\u0442\u0432\u0435\u0442\u0441\u0442\u0432\u0435\u043d\u043d\u043e \u043f\u0430\u0440\u0430 \u0432\u044b\u0445\u043e\u0434\u043d\u044b\u0445 \u0442\u0438\u043f\u043e\u0432.
  \u0424\u0443\u043d\u043a\u0446\u0438\u044f (&&&)<\/b> \u2014 \u044d\u0442\u043e \u0443\u0440\u0435\u0437\u0430\u043d\u043d\u0430\u044f \u0432\u0435\u0440\u0441\u0438\u044f (***)<\/b>, \u0433\u0434\u0435 \u0442\u0438\u043f \u0432\u0445\u043e\u0434\u043d\u043e\u0433\u043e \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442\u043e\u0432 \u0434\u0432\u0443\u0445 \u0444\u0443\u043d\u043a\u0446\u0438\u0439 \u043e\u0434\u0438\u043d\u0430\u043a\u043e\u0432, \u0438 \u043d\u0430 \u0432\u0445\u043e\u0434\u0435 \u0443 \u043d\u0430\u0441 \u043d\u0435 \u043f\u0430\u0440\u0430 \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442\u043e\u0432, \u0430 \u043e\u0434\u0438\u043d \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442.  <\/div>\n<\/div>\n
  \u0418\u0442\u043e\u0433\u043e, \u043e\u0431\u044a\u0435\u0434\u0438\u043d\u044f\u044e\u0449\u0430\u044f \u0444\u0443\u043d\u043a\u0446\u0438\u044f \u043f\u0440\u0438\u043e\u0431\u0440\u0435\u043b\u0430 \u0432\u0438\u0434:  <\/p>\n
import Data.Semigroup  import Data.Monoid import Control.Arrow  aggregate :: [Integer] -> (Maybe Integer, Integer) aggregate =        (fmap getMax *** getSum)       . (foldMap (Just . Max &&& Sum))  {- -- for GHC 8.2 aggregate =       (fmap getMax . getOption *** getSum)      . (foldMap (Option . Just . Max &&& Sum)) -} <\/code><\/pre>\n
  \u041f\u043e\u043b\u0443\u0447\u0438\u043b\u043e\u0441\u044c \u043e\u0447\u0435\u043d\u044c \u043a\u0440\u0430\u0442\u043a\u043e!
  \u041d\u043e, \u0432\u0441\u0451 \u0435\u0449\u0451 \u0443\u0442\u043e\u043c\u0438\u0442\u0435\u043b\u044c\u043d\u043e \u043e\u0431\u043e\u0440\u0430\u0447\u0438\u0432\u0430\u0442\u044c \u0438 \u0432\u044b\u0432\u043e\u0440\u0430\u0447\u0438\u0432\u0430\u0442\u044c \u0434\u0430\u043d\u043d\u044b\u0435 \u0438\u0437 \u0432\u043b\u043e\u0436\u0435\u043d\u043d\u044b\u0445 \u0442\u0438\u043f\u043e\u0432!
  \u041c\u043e\u0436\u043d\u043e \u0435\u0449\u0451 \u0441\u043e\u043a\u0440\u0430\u0442\u0438\u0442\u044c, \u0438 \u043d\u0430\u043c \u043f\u043e\u043c\u043e\u0436\u0435\u0442 \u0431\u0435\u0437\u0440\u0435\u0441\u0443\u0440\u0441\u043d\u043e\u0435 \u043f\u0440\u0438\u043d\u0443\u0434\u0438\u0442\u0435\u043b\u044c\u043d\u043e\u0435 \u043f\u0440\u0435\u043e\u0431\u0440\u0430\u0437\u043e\u0432\u0430\u043d\u0438\u0435!<\/p>\n
\u0411\u0435\u0437\u043e\u043f\u0430\u0441\u043d\u043e\u0435 \u0431\u0435\u0437\u0440\u0435\u0441\u0443\u0440\u0441\u043d\u043e\u0435 \u043f\u0440\u0438\u043d\u0443\u0434\u0438\u0442\u0435\u043b\u044c\u043d\u043e\u0435 \u043f\u0440\u0435\u043e\u0431\u0440\u0430\u0437\u043e\u0432\u0430\u043d\u0438\u0435 \u0438 \u0440\u043e\u043b\u0438 \u0442\u0438\u043f\u043e\u0432<\/h2>\n
  \u0421\u0443\u0449\u0435\u0441\u0442\u0432\u0443\u0435\u0442 \u0444\u0443\u043d\u043a\u0446\u0438\u044f \u0438\u0437 \u043f\u0430\u043a\u0435\u0442\u0430 Unsafe.Coerce<\/b> \u2014 unsafeCoerce<\/b>  <\/p>\n
import Unsafe.Coerce(unsafeCoerce) unsafeCoerce :: a -> b <\/code><\/pre>\n
  \u0424\u0443\u043d\u043a\u0446\u0438\u044f \u043f\u0440\u0438\u043d\u0443\u0434\u0438\u0442\u0435\u043b\u044c\u043d\u043e \u043d\u0435\u0431\u0435\u0437\u043e\u043f\u0430\u0441\u043d\u043e \u043f\u0440\u0435\u043e\u0431\u0440\u0430\u0437\u043e\u0432\u044b\u0432\u0430\u0435\u0442 \u0442\u0438\u043f: \u0438\u0437 a<\/b> \u0432 b<\/b>.
  \u041f\u043e \u0441\u0443\u0442\u0438 \u0444\u0443\u043d\u043a\u0446\u0438\u044f \u2014 \u043c\u0430\u0433\u0438\u0447\u0435\u0441\u043a\u0430\u044f, \u043e\u043d\u0430 \u0443\u043a\u0430\u0437\u044b\u0432\u0430\u0435\u0442 \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440\u0443 \u0441\u0447\u0438\u0442\u0430\u0442\u044c \u0434\u0430\u043d\u043d\u044b\u0435 \u0442\u0438\u043f\u0430 a<\/b> \u0442\u0438\u043f\u043e\u043c b<\/b>, \u0431\u0435\u0437 \u0443\u0447\u0451\u0442\u0430 \u043f\u043e\u0441\u043b\u0435\u0434\u0441\u0442\u0432\u0438\u0439 \u044d\u0442\u043e\u0433\u043e \u0448\u0430\u0433\u0430.
  \u0415\u0451 \u043c\u043e\u0436\u043d\u043e \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c \u0434\u043b\u044f \u043f\u0440\u0435\u043e\u0431\u0440\u0430\u0437\u043e\u0432\u0430\u043d\u0438\u044f \u0432\u043b\u043e\u0436\u0435\u043d\u043d\u044b\u0445 \u0442\u0438\u043f\u043e\u0432, \u043d\u043e \u0434\u0435\u0439\u0441\u0442\u0432\u043e\u0432\u0430\u0442\u044c \u043d\u0443\u0436\u043d\u043e \u043e\u0447\u0435\u043d\u044c \u043e\u0441\u0442\u043e\u0440\u043e\u0436\u043d\u043e.
  \u0412 2014 \u0433\u043e\u0434\u0443 \u043f\u0440\u043e\u0438\u0437\u043e\u0448\u043b\u0430 \u0440\u0435\u0432\u043e\u043b\u044e\u0446\u0438\u044f \u0441 newtype<\/b>, \u0430 \u0438\u043c\u0435\u043d\u043d\u043e \u043f\u043e\u044f\u0432\u0438\u043b\u043e\u0441\u044c \u0431\u0435\u0437\u043e\u043f\u0430\u0441\u043d\u043e\u0435 \u0431\u0435\u0437\u0440\u0435\u0441\u0443\u0440\u0441\u043d\u043e\u0435 \u043f\u0440\u0438\u043d\u0443\u0434\u0438\u0442\u0435\u043b\u044c\u043d\u043e\u0435 \u043f\u0440\u0435\u043e\u0431\u0440\u0430\u0437\u043e\u0432\u0430\u043d\u0438\u0435!  <\/p>\n
import Data.Coerce(coerce) coerce :: Coercible a b => a -> b <\/code><\/pre>\n
  \u042d\u0442\u0430 \u0444\u0443\u043d\u043a\u0446\u0438\u044f \u043e\u0442\u043a\u0440\u044b\u043b\u0430 \u043d\u043e\u0432\u0443\u044e \u044d\u0440\u0443 \u0432 \u0440\u0430\u0431\u043e\u0442\u0435 \u0441 newtype<\/b>.
  \u041f\u0440\u0438\u043d\u0443\u0434\u0438\u0442\u0435\u043b\u044c\u043d\u044b\u0439 \u043f\u0440\u0435\u043e\u0431\u0440\u0430\u0437\u043e\u0432\u0430\u0442\u0435\u043b\u044c Coercible<\/b> \u0440\u0430\u0431\u043e\u0442\u0430\u0435\u0442 \u0441 \u0442\u0438\u043f\u0430\u043c\u0438, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u0438\u043c\u0435\u044e\u0442 \u043e\u0434\u0438\u043d\u0430\u043a\u043e\u0432\u0443\u044e \u0441\u0442\u0440\u0443\u043a\u0442\u0443\u0440\u0443 \u0432 \u043f\u0430\u043c\u044f\u0442\u0438. \u041e\u043d \u0432\u044b\u0433\u043b\u044f\u0434\u0438\u0442 \u043a\u0430\u043a \u043a\u043b\u0430\u0441\u0441-\u0442\u0438\u043f, \u043d\u043e \u043d\u0430 \u0441\u0430\u043c\u043e\u043c \u0434\u0435\u043b\u0435 GHC \u043f\u0440\u0435\u043e\u0431\u0440\u0430\u0437\u043e\u0432\u044b\u0432\u0430\u0435\u0442 \u0442\u0438\u043f\u044b \u0432\u043e \u0432\u0440\u0435\u043c\u044f \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0446\u0438\u0438 \u0438 \u043d\u0435\u0432\u043e\u0437\u043c\u043e\u0436\u043d\u043e \u0441\u0430\u043c\u043e\u0441\u0442\u043e\u044f\u0442\u0435\u043b\u044c\u043d\u043e \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0438\u0442\u044c \u0438\u043d\u0441\u0442\u0430\u043d\u0441\u044b.
  \u0424\u0443\u043d\u043a\u0446\u0438\u044f Data.Coerce.coerce<\/b> \u043f\u043e\u0437\u0432\u043e\u043b\u044f\u0435\u0442 \u0431\u0435\u0437\u0440\u0435\u0441\u0443\u0440\u0441\u043d\u043e \u043f\u0440\u0435\u043e\u0431\u0440\u0430\u0437\u043e\u0432\u0430\u0442\u044c \u0442\u0438\u043f\u044b, \u043d\u043e \u0434\u043b\u044f \u044d\u0442\u043e\u0433\u043e \u043d\u0430\u043c \u043d\u0443\u0436\u043d\u043e \u0438\u043c\u0435\u0442\u044c \u0434\u043e\u0441\u0442\u0443\u043f \u043a \u043a\u043e\u043d\u0441\u0442\u0440\u0443\u043a\u0442\u043e\u0440\u0430\u043c \u0442\u0438\u043f\u0430.
  \u0422\u0435\u043f\u0435\u0440\u044c \u0443\u043f\u0440\u043e\u0441\u0442\u0438\u043c \u043d\u0430\u0448\u0443 \u0444\u0443\u043d\u043a\u0446\u0438\u044e:  <\/p>\n
import Data.Semigroup  import Data.Monoid import Control.Arrow import Data.Coerce  aggregate :: [Integer] -> (Maybe Integer, Integer) aggregate =        coerce . (foldMap (Just . Max &&& Sum))  -- coerce :: (Maybe (Max Integer), Sum Integer) -> (Maybe Integer, Integer) <\/code><\/pre>\n
  \u041c\u044b \u0438\u0437\u0431\u0435\u0436\u0430\u043b\u0438 \u0440\u0443\u0442\u0438\u043d\u044b \u0432\u044b\u0442\u0430\u0441\u043a\u0438\u0432\u0430\u043d\u0438\u044f \u0432\u043b\u043e\u0436\u0435\u043d\u043d\u044b\u0445 \u0442\u0438\u043f\u043e\u0432, \u0441\u0434\u0435\u043b\u0430\u043b\u0438 \u044d\u0442\u043e \u043d\u0435 \u0442\u0440\u0430\u0442\u044f \u0440\u0435\u0441\u0443\u0440\u0441\u043e\u0432 \u0432\u0441\u0435\u0433\u043e \u043b\u0438\u0448\u044c \u043e\u0434\u043d\u043e\u0439 \u0444\u0443\u043d\u043a\u0446\u0438\u0435\u0439.<\/p>\n
\u0420\u043e\u043b\u0438 \u0432\u043b\u043e\u0436\u0435\u043d\u043d\u044b\u0445 \u0442\u0438\u043f\u0430\u0445 \u0434\u0430\u043d\u043d\u044b\u0445<\/h3>\n
  \u0421 \u0444\u0443\u043d\u043a\u0446\u0438\u0435\u0439 coerce<\/b> \u043c\u044b \u043c\u043e\u0436\u0435\u043c \u043f\u0440\u0438\u043d\u0443\u0434\u0438\u0442\u0435\u043b\u044c\u043d\u043e \u043f\u0440\u0435\u043e\u0431\u0440\u0430\u0437\u043e\u0432\u044b\u0432\u0430\u0442\u044c \u043b\u044e\u0431\u044b\u0435 \u0432\u043b\u043e\u0436\u0435\u043d\u043d\u044b\u0435 \u0442\u0438\u043f\u044b. 
  \u041d\u043e \u043d\u0443\u0436\u043d\u043e \u043b\u0438 \u0441\u0442\u043e\u043b\u044c \u0448\u0438\u0440\u043e\u043a\u043e \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c \u044d\u0442\u0443 \u0444\u0443\u043d\u043a\u0446\u0438\u044e?  <\/p>\n
-- already in Data.Ord -- Down a - reversed order newtype Down a = Down a     deriving (Eq, Show)  instance Ord a => Ord (Down a) where     compare (Down x) (Down y) = y `compare` x  import Data.List(sort) -- Sorted data Sorted a = Sorted [a]     deriving (Show, Eq, Ord)  fromList2Sorted :: Ord a => [a] -> Sorted a fromList2Sorted = Sorted . sort  -- minimum: O(1) ! minView :: Sorted a -> Maybe a minView (Sorted []) = Nothing minView (Sorted (a : _))  = Just a <\/code><\/pre>\n
  \u0421\u0435\u043c\u0430\u043d\u0442\u0438\u0447\u0435\u0441\u043a\u0438, \u0430\u0431\u0441\u0443\u0440\u0434\u043d\u043e \u043f\u0440\u0435\u043e\u0431\u0440\u0430\u0437\u043e\u0432\u044b\u0432\u0430\u0442\u044c \u0432 Sorted a<\/b> \u0438\u0437 Sorted (Down a)<\/b>.
  \u0422\u0435\u043c \u043d\u0435 \u043c\u0435\u043d\u0435\u0435, \u043f\u043e\u043f\u0440\u043e\u0431\u043e\u0432\u0430\u0442\u044c \u043c\u043e\u0436\u043d\u043e:  <\/p>\n
ghci> let h = fromList2Sorted [1,2,3] :: Sorted Int ghci> let hDown = fromList2Sorted $ fmap Down [1,2,3] :: Sorted (Down Int) ghci> minView h Just (Down 1) ghci> minView (coerce h :: Sorted (Down Int)) Just (Down 1)  ghci> minView hDown Just (Down 3) <\/code><\/pre>\n
  \u0412\u0441\u0451 \u0431\u044b \u043d\u0438\u0447\u0435\u0433\u043e, \u043d\u043e \u043f\u0440\u0430\u0432\u0438\u043b\u044c\u043d\u044b\u0439 \u043e\u0442\u0432\u0435\u0442 \u2014 Just (Down 3)<\/b>.
  \u0418\u043c\u0435\u043d\u043d\u043e \u0434\u043b\u044f \u0442\u043e\u0433\u043e, \u0447\u0442\u043e\u0431\u044b \u043e\u0442\u0441\u0435\u0447\u044c \u043d\u0435\u0432\u0435\u0440\u043d\u043e\u0435 \u043f\u043e\u0432\u0435\u0434\u0435\u043d\u0438\u0435, \u0431\u044b\u043b\u0438 \u0432\u0432\u0435\u0434\u0435\u043d\u044b \u0440\u043e\u043b\u0438 \u0442\u0438\u043f\u043e\u0432.  <\/p>\n
{-# LANGUAGE RoleAnnotations #-}  type role Sorted nominal <\/code><\/pre>\n
  \u041f\u043e\u043f\u0440\u043e\u0431\u0443\u0435\u043c \u0442\u0435\u043f\u0435\u0440\u044c:  <\/p>\n
ghci> minView (coerce h :: Sorted (Down Int)) error: Couldn't match type \u2018Int\u2019 with \u2018Down Int\u2019         arising from a use of \u2018coerce\u2019 <\/code><\/pre>\n
  \u0417\u043d\u0430\u0447\u0438\u0442\u0435\u043b\u044c\u043d\u043e \u043b\u0443\u0447\u0448\u0435!<\/p>\n
  \u0412\u0441\u0435\u0433\u043e \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u0443\u0435\u0442 3 \u0440\u043e\u043b\u0438 (type role<\/b>):  <\/p>\n