Merge branch 'monoidal-main-patch-31233' into 'main'

Update team.mkd

See merge request !26

team.mkd

@@ -31,7 +31,7 @@ If you don't want to be a member of the team, make a PR to remove yourself.
 | Jeff Young            | @doyougnu           | Runtime and compiler performance, backpack, javascript backend, modularity                                        |
 | John Ericson          | @Ericson2314        |                                                       |
 | Josh Meredith         | @JoshMeredith       |                                                       |
-| Krzysztof Gogolewski  | @monoidal           |                                                       |
+| Krzysztof Gogolewski  | @monoidal           | typechecker, linear types, representation polymorphism |
 | Luite Stegeman        | @luite              | JS backend, GHCi, bytecode, performance               |
 | Matt Pickering        | @mpickering         | infrastructure, monitoring, profiling, typed template haskell   |
 | Matthew Craven        | @clyring            | semantics of Core and primitives; runtime performance |