fixed definition of "lazy" value (I didn't know that in F# members are always evaluated)