// Slivnikov primer
typ a = int
fun f(x:a) : int =
    let
        typ a = char
        var y : a
    in
        (x + y, 3)
    end