higherKinds warning

If we build with `scalacOptions ++= Seq("-feature", "-deprecation")`, then there is a warning:
```
higher-kinded type should be enabled
by making the implicit value scala.language.higherKinds visible.
```

The warning is present due to magnolia macro dumping F[_] stuff into the caller context.