Throw the stronger assertion that `assert(unit eq ())` and then this lgtm.