getPositiveInt :: Int -- ^ Input number, nust be a positive integer
               -> PositiveInt -- ^ Return value packaged in positive integer data type.
getPositiveInt i | i > 0 = CreatePositiveInt i
                 | otherwise = error ("Not a positive Integer:" ++ show i)
getPositiveInt :: Int -- ^ Input number, nust be a positive integer
               -> PositiveInt
getPositiveInt i | i > 0 = CreatePositiveInt i
                 | otherwise = error ("Not a positive Integer:" ++ show i)
getPositiveInt i | i > 0 = CreatePositiveInt i
                 | otherwise = error ("Not a positive Integer:" ++ show i)