Fixed compilation on <4.01

removed usage of Lazy.from_fun altogether, we either break with 3.12.1 or have a deprecation warning; is it that old ?