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