
<html>

  <head>

    <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">

  </head>

  <body text="#000000" bgcolor="#FFFFFF">

    <br>

    <br>

    <blockquote type="cite"

cite="mid:CAGKkBkvhXBa0xoHyELzv8U1rbJbOUVfk-LKhsj=i4q4iRi=uEA@mail.gmail.com">

      <div dir="ltr">Of course, `AbstractRecord` is wide open. The main

        problem I see with that name is that it will be weird if we end

        up allowing users to write their own abstract records.  </div>

    </blockquote>

    <br>

    Which may well happen someday.  (Which also makes giving Record an

    F-bounded type parameter a little more dodgy.)<br>

    <br>

    <blockquote type="cite"

cite="mid:CAGKkBkvhXBa0xoHyELzv8U1rbJbOUVfk-LKhsj=i4q4iRi=uEA@mail.gmail.com">

      <div dir="ltr">(It's <i>slightly</i> weird to have it named

        "*Record" when it <i>is not a record</i> but it's already the

        case that Enum is not an enum, so <meh>.) 

        <div><br>

        </div>

        <div>I guess I would lean toward just using the straightforward

          name `Record`.</div>

      </div>

    </blockquote>

    <br>

    Yeah, that seems the most straightforward choice.  Along with the

    same rule we have for Enum, where it cannot be extended by ordinary

    classes.  <br>

  </body>

</html>