Is it possible to implement syb-style transformation/query functions with GHC.Generics?
syb style generics offer handy transformation/query functions like
gmapQ. They make use of runtime type info via
Typeable, I wonder if this can be avoided if similar combinators can be developed using
GHC.Generics. Is it possible in principle? Thanks!
Submitted July 13, 2017 at 10:25AM by terrorjack
via reddit http://ift.tt/2vgC5k2