get_hwe_exact: if monomorph, then exclude