module OverlappingArguments where f x x = x