Generally, no you should not use `include` over `import`, but for prelude or a prelude-like thing it's what I prefer. IIRC I did the same for Karax, maybe it got changed later via a PR.
If prelude did `import <list>; export <list>` then it should be a file you should `import`, not `include`. So maybe turn it into `import std/common`.
