I'm currently looking for a topic for my bachelor thesis. Do you have any ideas for a thesis topic in the context of arrow/arrow-meta? Perhaps a first class automatic refactoring tool like Scala-Fix based on arrow-meta combined with an IDE plugin that could be used in a regex-like fashion but on AST level.