<div dir="ltr"><div class="gmail_default" style="font-family:verdana,sans-serif;font-size:small;color:#333333">monads => "evaluation"</div><div class="gmail_default" style="font-family:verdana,sans-serif;font-size:small;color:#333333">comonads => "experience"</div><div class="gmail_default" style="font-family:verdana,sans-serif;font-size:small;color:#333333"><br></div><div class="gmail_default" style="font-family:verdana,sans-serif;font-size:small;color:#333333">polynomial functions and data migrations inside:</div><div class="gmail_default" style="font-family:verdana,sans-serif;font-size:small;color:#333333"><a href="https://www.youtube.com/watch?v=IIqCNibMisI&ab_channel=ToposInstitute">https://www.youtube.com/watch?v=IIqCNibMisI&ab_channel=ToposInstitute</a><br></div><div class="gmail_default" style="font-family:verdana,sans-serif;font-size:small;color:#333333"><br></div><div class="gmail_default" style="font-family:verdana,sans-serif;font-size:small;color:#333333">David is pretty great. I had the pleasure to have a few conversations with him when he was still at University of Oregon and before he left to work with Jacob Laurie on the east coast.</div></div>