Monad: add >> operator as an equivalent to bind.
Applicative: make ap variadic.
Functional: make sure curry<N> is idempotent.
Lazy: refactor and make `lazy` more intuitive.
StdTuple: Add note about redundant Applicative instance.
Remove empty instances.