@ekuber Two aspects that immediately came to mind are difficulties matching through pointers (deref patterns?) and limited const generics support.
It’d also be nice if the arena-related debugging experience could be better because in REAL high-level languages I’d just inspect the object pointer and get what I expect :)