Resolving Type Issues in Schema without Assertions - Effect Community