“lax幺半函子”中的“lax”是什么意思?

Applicative :

unit ::     ()     -> f   ()
mult :: (f s, f t) -> f (s, t)

pure :: x -> f x
pure x = fmap (const x) (unit ())
(<*>) :: f (s -> t) -> f s -> f t
ff <*> fs = fmap (uncurry ($)) (mult (ff, fs))

严格的 幺半函子, unit 和 mult 必须是 同构 . “松懈”的影响就是放弃这一要求。

例如,(达到通常的天真) (->) a [] 只有松弛的单倍体。