import public Algebra.Ring.Semiring
import public Data.Natural
import public Data.PrimInteger