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集合上的一个元素，这个函数是单位元
  这样理解是否正确？