Integral -package:aeson-optics -package:ghc -package:text-show -package:linear-base package:algebra

An integral domain is a commutative domain in which 1≠0.