import num
:desugar isPrime