{-# LANGUAGE NoImplicitPrelude #-}
{- |
Copyright : (c) Mikael Johansson 2006
Maintainer : mik@math.uni-jena.de
Stability : provisional
Portability :
Abstract concept of a Monoid. Will be used in order to generate
type classes for generic algebras. An algebra is a vector space
that also is a monoid.
-}
module Algebra.Monoid where
{- | We expect a monoid to adher to associativity and the identity
behaving decently. Nothing more, really. -}
class C a where
idt :: a
(<*>) :: a -> a -> a