module Refactor.ExtractBinding.RightSection where a = f 1 where f = (+ 2)