definition :: ReadP Def
definition = do
  skipSC
  v <- var
  skipSC
  string defineStr
  t <- term
  skipSC
  return (v, t)
definition :: ReadP Def
definition = do
  skipSC
  v <- var
  skipSC
  string defineStr
  t <- term
  skipSC
  return (v, t)
definition = do
  skipSC
  v <- var
  skipSC
  string defineStr
  t <- term
  skipSC
  return (v, t)