Events.GuardedChannels
data GuardedChannel guard value
type GQ guardQueue value
type VQ valueQueue
class HasEmpty xQueue
class HasRemove yQueue x y
class HasAdd xQueue x
class CanSendX xQueue yQueue x y
class HasGuardedChannel guardQueue valueQueue guard value