Hello,<br><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 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 &quot;monads&quot; have to satisfy the &quot;monad laws&quot; stated in the Monad class, i.e. equational axioms!<br>
<br>Vasili<br>