Hello,<br><br> What is the relationship of a Haskell class to universal algebra? (a refresher ... <a href="http://en.wikipedia.org/wiki/Universal_algebra">http://en.wikipedia.org/wiki/Universal_algebra</a>) ... it seems that all types that belong to a class are models? E.g. all "monads" have to satisfy the "monad laws" stated in the Monad class, i.e. equational axioms!<br>
<br>Vasili<br>