&gt; After a while, one will notice <i>something in common</i><p>With two caveats:<p>(0) There&#x27;s absolutely no guarantee that you&#x27;ll eventually see the pattern. Most people don&#x27;t, no matter how many times they bash their heads against it.<p>(1) If your examples aren&#x27;t “diverse enough”, you risk not grasping the full generality of the abstract pattern. This makes me wonder how many Haskellers think a monad is necessarily a monad in Hask.