The present invention relates to compounds of formula (I) wherein Ar,
Ar.sub.2, R.sup.2, R.sup.3, R.sup.4, m, p and s are as defined in the
description and claims, and pharmaceutically acceptable salts thereof.
The compounds are useful for the treatment and/or prophylaxis of diseases
that are associated with the activation of the glycogen synthase enzyme,
such as diabetes.