そのままじゃん　アプリカティブファンクター
なんだから、そのまま日本語訳でよくね
つまり、関手　プログラマーにとって使いやすくしただけ

ところで、”Applicative (≒Monoidal)”なのか？
こっちの方がい意味不明なんだが
モノイドって意味なら、≒モナド　の方

モナイド則＝モノイド則　モナドの方は、自己関手って条件が付くだけ

しらんけど