open-world | Multiplayer world generated from Open data | Game Engine library

This unfortunately is a fundamental flaw of the current implementation of Typed Template Haskell, with no easy workaround available.

Constraints are simply not handled correctly.

We've been running into the same problem when looking at how to implement a staged version of generics-sop. You might want to have a look at Section 5 of the Staged Sums of Products paper. We also have a solution for the handling of constraints in Template Haskell, but this solution needs implementation in GHC, and that at the moment is only available in an experimental branch (see the staged-sop repo for some instructions on how to try it). At the moment, the branch is in limbo, because is needs significant rebasing due to all the linear types changes. Hopefully, we get around to doing that at some point soon, because I would really like to have proper constraint handling in Typed Template Haskell.

Try this, I do not have all the packages installed, so I tested this on google colab. Let me know if this is what you expected.

Modifying the the code from the linked answer:

You can store all data on a database like CoreData with exact parameters you need like states and positions whatever do you need.

Then you can create a method to get all objects on a specific position with radius and use this method when the player moves or when you need to check things like a quest on another site, take those objects and compare with current objects, place again on the correct site the new ones and remove the old ones (they are not on radius probably or disappears for another reason)

This is a complex approach but it could work.

Pyautogui does not work on video games on Windows or any other common OS. I suggest trying https://pypi.org/project/mouse/, as the keyboard function worked for other people.