zero
PromiseLinkMonoid
TunnelMonoid