Improper detection of iTask constraints
The Tonic compiler wrongly considers UserActions to have an iTask constraint, while TaskCont does not have an iTask instance.
:: UserActions r o a :== [TaskCont (Room r o a) (Task (Actor o a))] moveAround :: (Actor o a) (UserActions r o a) (Shared (MAP r o a)) -> Task (Actor o a) | iTask r & iTask o & iTask a & Eq o moveAround actor actions smap
To upload designs, you'll need to enable LFS. More information