Integral -package:aeson-optics -package:optics-core -package:lens-aeson -package:blaze-textual package:algebra

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