A capability of supporting the given effect type, such as scala.concurrent.Future. Used only as a type parameter, without implementations.