Haskellians,<br><br>Is there a characterization of &quot;prime&quot; monads? Here the notion of factorization i&#39;m thinking about is decomposition into adjoint situations. For example, are there monads for which there are only the Kleisli and Eilenberg-Moore decompositions into adjoint situations? Would this be a characterization of quintessentially &quot;free&quot; or &quot;generative&quot;?
<br><br>Best wishes,<br><br>--greg<br clear="all"><br>-- <br>L.G. Meredith<br>Managing Partner<br>Biosimilarity LLC<br>505 N 72nd St<br>Seattle, WA 98103<br><br>+1 206.650.3740<br><br><a href="http://biosimilarity.blogspot.com">
http://biosimilarity.blogspot.com</a>