module Refactor.InlineBinding.AlreadyApplied where b u v = a u v a x y = x ++ y