Re: [Haskell-cafe] naturally, length :: a -> Int

You're looking for Ratio Natural. On Wed, Mar 3, 2021, 09:20 Olaf Klinke wrote:

While we're at it: Can there be a Fractional type permitting only positive numbers, as the positive real numbers are closed under division?