A Simple Implementation of Lazy Type

A Simple Implementation of Lazy Type.