module Refactor.ExtractBinding.Case where f a = case a of (x,y) -> x + y