为什么数鸭歌中四二四六七八？

Questions about the definition of lazy

On line 5633 in prim-types.fs (v1.9.7.8) there is the following type abbreviation: type \'T ``lazy`` = Lazy<\'T>