Semaphore data structure

data Semaphore = Integer * [Processes]