> all_monads();
val it =
   [("list",
     {bind = “LIST_BIND”, choice = SOME (“$++”), fail = SOME (“[]”),
      guard = SOME (“LIST_GUARD”), ignorebind = SOME (“LIST_IGNORE_BIND”),
      unit = “λx. [x]”}),
    ("option",
     {bind = “OPTION_BIND”, choice = SOME (“OPTION_CHOICE”),
      fail = SOME (“NONE”), guard = SOME (“OPTION_GUARD”),
      ignorebind = SOME (“OPTION_IGNORE_BIND”), unit = “SOME”})]:
   (string * monadinfo) list