module Pandora.Paradigm.Primary.Algebraic.One where

data One = One