The missing lazy numbers: implementation

In Haskell, for any type T (for example
Double), there is a corresponding type
Maybe T. An object of this type either has form
Just x, where x is of type T, or
is Nothing. Thus one can use the May…