> After a while, one will notice something in common With two caveats: (0) There's absolutely no guarantee that you'll eventually see the pattern. Most people

> After a while, one will notice something in common With two caveats: (0) There's absolutely no guarantee that you'll eventually see the pattern. Most people don't, no matter how many times they bash their heads against it. (1) If your examples aren'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.