utility function to assert and narrow a type using typebox - View it on GitHub