sl2: The result of a pure function called with constants is constant.