P183 Applicative and MonoidApplicative ，Manod是自函子上半幺群，形式上就无法理解

[boboyada]

读该节时，有困惑。 （S,M,1) M是二元运算符。 （Int，+ ，0）
（Int，× ，1） 都好理解。

但Applicative ，Manod是自函子上半幺群，形式上就无法理解

比如：MayBe Int 二元运算符：是什么？ 单位元：又是什么？ 二元运算运算对象：是什么？

<*> Just (+1) Just (5) 运算对象就不同，一个是包装了函数，另一个包装了数值

= Maybe(5) /x => x+1 ,运算对象也不同

[boboyada]

对于单子上的(S,M,1)来讲

• -> * 映射 函数，构成S集合元素， . 是函数之间的复合运算符，两个入参都是函数，输出也是函数 return 也是S集合上的一个元素，这个函数是单位元 这样理解是否正确？