kes two parameters, such as a tuple, map, or record.</p><h3 id="a-succinct-introduction"><a href="#a-succinct-introduction" class="anchor"></a>A Succinct Introduction</h3><p>The downside to using such abstractions is that newcomers are often overwhelmed. They might not know how much category theory or abstract algebra they need to formally know (almost none), or whether or not to read monad tutorials (you shouldn't). The best way to learn this stuff is to read the <code>module
type</code>s and the laws that