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
Edited by John van Groningen