Example 1.12 doesn't work due to deprecated fromInt, yet length returns value Int.