A heirarchy of classes for numbers and algebras that combine them: a numeric tower.

Performance testing, notes and examples can be found in tower-dev.

The tower looks something like:

{-# OPTIONS_GHC -fno-warn-type-defaults #-} {-# LANGUAGE ExtendedDefaultRules #-} {-# LANGUAGE NoImplicitPrelude #-} {-# LANGUAGE DataKinds #-}

import Tower.Prelude

Tower.Prelude is a drop-in replacement for Prelude . Behind the scenes, it wraps Protolude .