Problem: my IDE (ghcide) does not work with mixins, and apparently I'm not the only one who suffers from this (we have several new people in the project).
mixins, that is a minor change anyway.
✅ Checklist for your Merge Request
Related changes (conditional)
Tests (see short guidelines)
- If I added new functionality, I added tests covering it.
- If I fixed a bug, I added a regression test to prevent the bug from silently reappearing again.