async def _write_notification(output_channel: connection.TextWriter, message: str, short_message: Optional[str]=None, level: lsp.MessageType=lsp.MessageType.INFO) -> None:
    (await lsp.write_json_rpc(output_channel, json_rpc.Request(method='window/showMessage', parameters=json_rpc.ByNameParameters({'type': int(level), 'message': (message if (short_message is None) else f'{short_message}: {message}')}))))
async def _write_notification(output_channel: connection.TextWriter, message: str, short_message: Optional[str]=None, level: lsp.MessageType=lsp.MessageType.INFO) -> None:
    (await lsp.write_json_rpc(output_channel, json_rpc.Request(method='window/showMessage', parameters=json_rpc.ByNameParameters({'type': int(level), 'message': (message if (short_message is None) else f'{short_message}: {message}')}))))