Jon Pretty

A reverse linked-list, as an enumeration in Dotty: enum Tsil[+T] { case Lin case Snoc(init: Tsil[T], last: T) }

I'm confused; a reverse linked list is a singly linked list with the constructor names and arg order reversed?

Yeah, it's exactly how you describe it (though the names aren't special). Structurally the same, but biased to make appends seem at the end.

I was mainly trying to demonstrate how simple enum makes the definition in Dotty, though!

right, extra stuff just gets in way. although perhaps you missed ‘enum _class_’ ?