「モナドは副作用を実現するものだ」とは言うが、「Functorは副作用を実現するもの」「Applicativeは副作用～」「Monoidは～」「Semigroupは～」などとはまず言われないという不自然な非対称性がある。
結局、モナド・圏・抽象代数などを理解するのに必要な数学の習熟度が足りない人たちが、いい加減なたとえ話でわかったつもりになるから、おかしな言説がまかり通る。