I probably did not realize that mempty was the identity transformation at the time I wrote this.