💭
Bool → checkbox
enum w/ ≤ 4 constructors → radio buttons
enum w > 4 constructors → pop-up menu
String → text field
Int/Float → text field with formatter, steppers
product → vertically laid out
sum → tabs
recursive → list view
Super neat, I didn't know this existed! I wish this could be part of the editor via something like elaborator reflection. And that you could flip between alternate views of the same datatype.