readProc [Port port] = (liftIO $ hGetLine port) >>= liftThrows . readExpr
readProc [Port port] = (liftIO $ hGetLine port) >>= liftThrows . readExpr
readProc [Port port] = (liftIO $ hGetLine port) >>= liftThrows . readExpr