We have large number of template haskell utilities, like unstableMakeIsData. This are quite difficult to maintain and is painful to change and add new feature. We should explore if some(or all) of these utilities can be rewritten using generics.
In terms of what it does, most utilities can be done only using generics since they are simply implementing instances for typeclasses. However, we do not know yet how plugin will react to use of generics or if use of generics will produce less efficient pir/uplc.
AC: This is a time bound spike, no changes to the plugin itself.
- Have some proof - proof of code, is it visible
- Provide small example