letVar :: [String] -> AParser st FunDef
letVar ks = do
  v <- varId ks
  e <- equalT
  a <- annos
  t <- eqTerm ks
  return $ FunDef (simpleIdToId v) (Op_head Partial [] Nothing nullRange)
    (Annoted t nullRange a []) $ tokPos e
letVar :: [String] -> AParser st FunDef
letVar ks = do
  v <- varId ks
  e <- equalT
  a <- annos
  t <- eqTerm ks
  return $ FunDef (simpleIdToId v) (Op_head Partial [] Nothing nullRange)
    (Annoted t nullRange a []) $ tokPos e
letVar ks = do
  v <- varId ks
  e <- equalT
  a <- annos
  t <- eqTerm ks
  return $ FunDef (simpleIdToId v) (Op_head Partial [] Nothing nullRange)
    (Annoted t nullRange a []) $ tokPos e