lambdaExprP :: Parser E.Expr
lambdaExprP = 
    do
        token $ literal "/"
        vars <- many
        rhs <- constInt
        return $ lhs E.:+: rhs
lambdaExprP :: Parser E.Expr
lambdaExprP = 
    do
        token $ literal "/"
        vars <- many
        rhs <- constInt
        return $ lhs E.:+: rhs
lambdaExprP = 
    do
        token $ literal "/"
        vars <- many
        rhs <- constInt
        return $ lhs E.:+: rhs