ну я пока остановился на том, что это тип-обертка, который позволяет делать sequence computations над его содержимым, абстрагируясь от нюансов реализации
ну я пока остановился на том, что это тип-обертка, который позволяет делать sequence computations над его содержимым, абстрагируясь от нюансов реализации
monad 1) //Monads are kind of types which have some fundamental ops(like a 'List') are: //unit(also called pure or apply). which construct a Monad out of a value or out of many values. //bind - transforms a monad of certain type parameter into a monad of another type parameter.