Nats in Idris