⚰️ Delete dead code

The type checker correctly points out that the symbol doesn't exist.
This code cannot have worked in its 'current' state, so it
should be safe to delete.