test_call = do
  Ok serv <- start $ return $ Counter 0
  call serv Get >>= assertEqual 0 
test_call = do
  Ok serv <- start $ return $ Counter 0
  call serv Get >>= assertEqual 0 
test_call = do
  Ok serv <- start $ return $ Counter 0
  call serv Get >>= assertEqual 0 