Reverse previous commit as it would require patching `(=..)/2` and likely also `functor/3` to avoid trouble with the qualification of meta-arguments