Derive superclasses automatically if possible
So I don't forget, this is like #10607 (closed) along another axis.
Instead of writing
newtype IO_ a = IO_ (IO a)
deriving newtype (Functor, Applicative, Monad, MonadIO)allow writing
newtype IO_ a = IO_ (IO a)
deriving newtype MonadIOwith the same meaning, are there any technical restrictions to this? This gets annoying in large hierarchies where you need Eq, Ord, Num, Fractional, Floating, Real and RealFrac just to derive
newtype F32 = F32 Float
deriving newtype RealFloatTrac metadata
| Trac field | Value |
|---|---|
| Version | 8.0.1 |
| Type | FeatureRequest |
| TypeOfFailure | OtherFailure |
| Priority | normal |
| Resolution | Unresolved |
| Component | Compiler |
| Test case | |
| Differential revisions | |
| BlockedBy | |
| Related | |
| Blocking | |
| CC | |
| Operating system | |
| Architecture |