lineParser :: MyParser Definition
lineParser = do
    do
        optionMaybe$ tok "let"
        optionMaybe$ tok "rec"
    (fn:args) <- many1 identifier
    oneOf [":=","="]
    body <- formula
    return (fn,args,body)
lineParser :: MyParser Definition
lineParser = do
    do
        optionMaybe$ tok "let"
        optionMaybe$ tok "rec"
    (fn:args) <- many1 identifier
    oneOf [":=","="]
    body <- formula
    return (fn,args,body)
lineParser = do
    do
        optionMaybe$ tok "let"
        optionMaybe$ tok "rec"
    (fn:args) <- many1 identifier
    oneOf [":=","="]
    body <- formula
    return (fn,args,body)