export type Lazy<A> = () => A;