<html>
<head>
<style><!--
.hmmessage P
{
margin:0px;
padding:0px
}
body.hmmessage
{
font-size: 10pt;
font-family:Tahoma
}
--></style>
</head>
<body class='hmmessage'>
Dear List,<br><br>I am quite new in Haskell's categorical manner of programming. However I have enough knowledge in Category Theory.<br>I want to ask a question, maybe very well-known one by some of you, about monads of Haskell.<br><br>For
the type constructors like Maybe and [], I managed to prove that
together with 2 natural transformations (bind + return), both of these
triples construct a monad. But when I try to prove that IO and Cont type
constructors with the same natural transformations (bind + return) are
monads as well, it was failed.<br><br>Here my question is: Is there anyone who knows how to prove that IO and Cont are monads with satisfing following properties:<br><br><ol><li><code>join . fmap join = join . join</code></li><li><code>join . fmap return = join . return = id</code></li><li><code>return . f = fmap f . return</code></li><li><code>join . fmap (fmap f) = fmap f . join</code></li></ol><br>Thanks already now,<br>Burak Ekici. </body>
</html>