[Discussion] Integrating DataTypeable, Functor, Foldable, Traversable, Generic and Lift in the `stock` deriving strategy
I wish to start a discussion around the possibility of integrating the numerous classes we offer in base
in the stock
deriving strategy by the removing the need to use language extensions to expose them to end-user.
This ticket is not meant to bypass a proper GHC Proposal, but I'd like to get some feedback from the GHC dev team and adjacent folks before starting a proposal process.
I personally think we may have reached the maturity where it would make sense to greatly simplify this aspect of the compiler, but I am not omniscient and clearly could use different perspectives. :)
Note: Matt Parsons has also raised this question in his article Haskell Proposal: Simplify Deriving.