Аппликативы составляют, монады - нет

Аппликативы составляют, а монады - нет.

Что означает вышеприведенное утверждение? И когда один предпочтительнее другого?