Encode in the types that you can't run askPlayer with an empty list.