Refactoring out redundant typeclass params
Replaced WorldObject explicit parameterized with existential type