Module type Side_effect