Should be PromiseLinkMonoid or you should rename PromiseLink.