module Pandora.Paradigm.Algebraic.One where

data One = One