Yeah, which makes them so generic they become meaningless, like generic_map, generic_attribute...no thanks. If you want to define, transform and reason about y

Yeah, which makes them so generic they become meaningless, like generic_map, generic_attribute...no thanks. If you want to define, transform and reason about your domain model at runtime, dynamic languages are the way to go. I know, I've been using static typing for most of my career. They become a burden, refactoring or not. Now go back to your Haskell corner ;)