Serialization. Symbiote. Core
type Operation a s = s
A synonym for
s, because we can't quantify the type family and have to store it serialized, but trying to denote that it still "belongs" to
class (SymbioteOperation a o op) <= Symbiote a o op s | a -> op, op -> a, a -> o where
A serialization format for a particular type, and serialized data type.
newtype SymbioteState a o s
Internal existential state of a registered topic with type's facilities