Make law for Foldable.length explicit