fixed factor signature for applicative exercises