Challenges with Defining Type Guard for Allowed Schemas - Effect Community