Tighten some lower bounds as necessary
This was previously missed during the update to lts-22.12.
base needs to be >= 4.18 in the example, because we rely on liftA2
to
be in Prelude
.
witherable needs to be >= 4.0, because we rely on it being importable
from Witherable
instead of Data.Witherable
.