eta laws for hlists.