-data SessionException = TimeoutException
- | UnexpectedMessageException String FromServerMessage
- | ReplayOutOfOrderException FromServerMessage [FromServerMessage]
- | UnexpectedDiagnosticsException
- | IncorrectApplyEditRequestException String
+data SessionException = Timeout
+ | UnexpectedMessage String FromServerMessage
+ | ReplayOutOfOrder FromServerMessage [FromServerMessage]
+ | UnexpectedDiagnostics
+ | IncorrectApplyEditRequest String