module Refactor.InlineBinding.Recursive where b = f () f a = f a