data SessionException = TimeoutException
| UnexpectedMessageException String FromServerMessage
| ReplayOutOfOrderException FromServerMessage [FromServerMessage]
| UnexpectedDiagnosticsException
| IncorrectApplyEditRequestException String
data SessionException = TimeoutException
| UnexpectedMessageException String FromServerMessage
| ReplayOutOfOrderException FromServerMessage [FromServerMessage]
| UnexpectedDiagnosticsException
| IncorrectApplyEditRequestException String