If so, a `Debug.Assert` assertion plus the use of `List.head` would be really helpful :).