Alternative Prelude with numeric and logic expressions typed bottom-up https://github.com/michalkonecny/mixed-types-num

Latest on Hackage:

See all snapshots mixed-types-num appears in

BSD-3-Clause licensed by Michal Konecny
Maintained by Michal Konecny

This package provides a version of Prelude where unary and binary operations such as not, +, == have their result type derived from the parameter type(s).

See module Numeric.MixedTypes for further documentation.