Refine
Use Data.Numbers.Prime