fromPositiveInt :: PositiveInt -- ^ PositiveInt input
                -> Int -- ^ Int output
fromPositiveInt (CreatePositiveInt i) = i
fromPositiveInt :: PositiveInt -- ^ PositiveInt input
                -> Int
fromPositiveInt (CreatePositiveInt i) = i
fromPositiveInt (CreatePositiveInt i) = i