A language with a function-color-agnostic effect system, generic over asynchronicity?