With Dynamic, yes, but not with existential quantification. The type is a proof the type-class is implemented. I also didn't yet know Dynamic, thanks. I'm not

With Dynamic, yes, but not with existential quantification. The type is a proof the type-class is implemented. I also didn't yet know Dynamic, thanks. I'm not that fluent in fp.