Implementing uniplate combinators using GHC Generics. Some partial results: https://gilmi.me/static/misc/blog-stuff/generic-plate-results.html
Updated 1 year ago