LamportClock

data Pid

type Time

data Timestamp

class Clock f

type LamportClock

runLamportClock

type Process

runProcess

barrier