default can accept a subclass of current context type