Added deflazytype.