import num
:desugar isPrime
