I know for a single variable I can create a typeguard function to determine its type narrowing as follo