monad

Class of homomorphic monads that extend algebraic data types in some well-defined way for faciliating faster or more accurate calculations, such as the logarithm trick.