Не совсем монады (Haskell Unfolder #54)

Монады — это очень мощная абстракция: иногда даже слишком мощная. Мы обсудим, почему нам не всегда может понадобиться полная общность монад, и что мы можем использовать вместо них. Аппликативными функторами являются наиболее распространенной альтернативой, но они иногда слишком ограничительны; мы подчеркнем принципиальное различие между аппликативными функторами и монадами и, наконец, введем селективные функторы, которые находятся где-то между монадами и аппликативными функторами.