identity for fn-monoid zero-fn