Numeric.Positive

data Positive

positive