Type-safe ExecutionContext abstractions for managing concurrent operations with phantom types