Does anyone know what is expected behaviour of calling impure function from pure one?