There's Data.Ratio which represents fractions by their numerator and denominator in lowest terms: $ ghci GHCi, version 8.10.7: https://www.haskell.org/

There's Data.Ratio which represents fractions by their numerator and denominator in lowest terms: $ ghci GHCi, version 8.10.7: https://www.haskell.org/ghc/ :? for help Prelude> :m +Data.Ratio Prelude Data.Ratio> :t (%) (%) :: Integral a => a -> a -> Ratio a Prelude Data.Ratio> 18 % 21 6 % 7 Prelude Data.Ratio> 1%10 + 2%10 3 % 10 There's even Data.CReal for working with the computable reals: Prelude> :m +Data.CReal Data.Complex Prelude Data.CReal Data.Complex> let i = 0 :+ 1 Prelude Data.CReal Data.Complex> exp (i * pi) + 1 :: Complex (CReal 0) 0 :+ 0