4 ms·It should still be possible to simplify eval' by merging the two GValue cases, right?by nhaehnle 12y agoIt should still be possible to simplify eval' by merging the two GValue cases, right?tel 12y agoAs long as you're okay with your DSL subsiding all OCaml types you can do GLift : a -> a expr'mercurial 12y agoI don't think you can do that since the wrapped values have different types.