Why not use `List.forall` here?