Having make_pmf in default namespace