Pre-RFC: Generic parameters in derive

language design
14

I was wrong about this one, but it would look a little unusual:

#[derive(Unwrap) where St: Unwrap, F:]
struct MyFold<St, F> {
    // ...
}