refractor ConcreteEffect
refractor SideEffect