to make it better-typed overall