module NestedLet where



function x =
    let identity x = x
    in identity x