we don't need distinct functions anymore

It’s a bug if any duplicates end up in the output