fun succ x = do
let one = 1
let y = x + one
in y
end
fun double x = x * 2
fun main = do
x |> \a -> println(a)