@jadlr, this is a trick that can be used to hide the implicit `ExecutionContext`.