How to differentiate GADT constructors with different phantom types?

Question

I\'m working on a system (inspired by lsp-types) that uses GADTs tagged with type information to represent the different types of messages exchanged by a client and server:<