Move the ExecutionContext type into its own file