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