ParentFull threadtasuki·If you know the list can't be empty, can't you prove that to the compiler by using a non-empty list type?View on HN