An intrinsically-typed solution for the list-machine benchmark