module
Pandora.Paradigm.Primary.Algebraic.One
where
data
One
=
One