@hackage / protocol

Model distributed system as type-level multi-party protocol