Class LazyRec<A,​B>