blog-static/code/compiler/08/examples/bad3.txt

data List = { Nil, Cons Int List }

defn head l = {
    case l of {
        Nil -> { 0 }
        Cons x y z -> { x }
    }
}